How will AI change Mathematics? Rise of Chatbots highlights Discussion

Sharing core norms and values
Posted Feb 24, 2023 | Nature

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.”


Share |
print button Print
Related Articles:

Members Online
There are 11 guests online


Popular Articles

Popular Videos

CNN World News


Al Jazeera World News


BBC World News