2 ms·
Most 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 fin
by civilized 4y ago
Most 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.