Can AI solve real math proofs? Researchers put it to the test(scientificamerican.com)
scientificamerican.com
Can AI solve real math proofs? Researchers put it to the test
https://www.scientificamerican.com/podcast/episode/can-ai-actually-solve-real-math-proofs-researchers-put-it-to-the-test/
1 comments
I 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.