4 ms·
By 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
by freemint 4y ago
By 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.