How will AI change Mathematics? Rise of Chatbots highlights Discussion

Sharing core norms and values
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.”

print button Print
Related Articles:

Popular Articles

Poverty as a Wicked Problem

The belief that poverty can be prevented by identifying and dealing with its causes, and the...  Read More

Is Mars Ours?

Jun 13, 2021 | The New Yorker, Adam Mann

NASA and China having landed mobile rovers on the surface of Mars has raised the question of...  Read More

Think Local and Act Global - A Conversation with GGF 2030 fellow Cara Stauß

Nov 15, 2018 | Global Policy,

World affairs, diplomacy and trade are no longer solely the domain of nation-states, as cities...  Read More

Global Extreme Poverty

According to household surveys, 44 percent of the global population lived in absolute...  Read More

Popular Videos

A Message from Alan Doss, President of the Kofi Annan Foundation

Highlights from the G20 Think Tank Summit GLOBAL SOLUTIONS in Berlin

Happy Birthday Kofi Annan!

T20 Summit GLOBAL SOLUTIONS – Sean Cleary

Global Trends, Risks and Rewards — Where Are We Now, Where Are We Going?