3 ms·
How do you get the AIs to prove interesting theorems instead of, say, summing random long sequences of integers? Or is this more focused on letting the compute
by civilized 4y ago
How do you get the AIs to prove interesting theorems instead of, say, summing random long sequences of integers?
Or is this more focused on letting the computer try to prove a given conjecture?
- freemint 4y agoBy formalizing the same proof system we would use to convince ourselves that this works and letting the AI the search the space of logical statements using that language
- civilized 4y agoMost logical statements are uninteresting stuff like summing long sequences of integers, so now we have to sift through a heap of junk AI theorems hoping to find something interesting.
- freemint 4y agoOh we can definitely bias the results toward statements which the AI thinks humans would produce.