|
|
|
|
|
|
by xyzzy123
24 days ago
|
|
|
Weird question, do you think AIs might prove a lot of theorems that are mainly useful to other AIs (i.e, make nearly no impact on the human culture of working mathematicians), which then get used to prove results that humans do actually care about? It seems like if AIs can prove and index a huge number of (largely uninteresting to humans) things there might be sort of "parallel cultures"? Big results are most valuable to humans and AIs both (most context efficient!), but a very large number of less general but still non-obvious results might be an effective approach to solving problems? |
|
|