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:

• Supporting the Global South in Tackling Climate Change: Where is the G20 heading?
• The ECB Strategy: The 2021 Review and its Future
• Multi-stakeholder Partnerships in the 2030 Agenda