3 ms·
Can AI solve real math proofs? Researchers put it to the test
- MikeAtXarkin 8mo agoI agree with comments from others on this topic: Even before AIs are capable of independently generating novel mathematics, they are tremendously valuable as assistants. They excel at undifferentiated heavy lifting, like formatting/refactoring, checking, searches, and many other things that don't result in novel mathematics directly - but do indirectly by freeing humans to do so.