3 ms·
Sounds like a great task for AI to prove as true, false, or unknowable
by jostmey 3y ago
Sounds like a great task for AI to prove as true, false, or unknowable
- wk_end 3y agoAt this juncture there's no reason to think (quite the opposite really) that LLMs are any better at the kind of sophisticated reasoning presumably necessary to prove something like this than human computer scientists are.