How will AI change Mathematics? Rise of Chatbots highlights Discussion
This
Nature article by Davide Castelvecchi discusses artificial intelligence tools that specialize in mathematics and which are starting to change the field in ways that go beyond their contributions to mere calculations. Lean, a proof-assistant software package. created by a computer scientist at Microsoft Research, has helped to confirm a mathematical proof so complicated that even its author was unsure of it. Google’s chatbot Minerva is based on machine learning that might eventually be able to converse with mathematicians to brainstorm solutions to difficult problems. Some researchers worry that once computers can judge what is interesting and worth proving, human mathematicians will become obsolete. Others express a more sanguine view: “An AI system is only as smart as it is programed to be.”
https://www.nature.com/articles/d41586-023-00487-2
Related Articles: