Mathematicians debate AI's growing role in proving theorems
Researchers are weighing what is lost when mathematics focuses only on answers as AI produces proofs. Fields Medalist Terry Tao is among those at the center of the debate.
By Standard Topic. AI-generated from the reporting listed under Coverage. Published . Updated .
This story is no longer being updated. It reflects reporting up to .
What happened
AI is now churning out mathematical proofs, prompting a DeepMind study that asks what is lost when math focuses only on answers. MIT researchers say AI may soon be the default way to solve theoretical problems in economics, high-energy physics and other fields. Terry Tao, a Fields Medalist and celebrated mathematician, is on the front lines of the debate over AI and the future of his field.
Why it matters
The debate raises questions about the future of mathematics and whether human understanding is lost when AI supplies the answers. AI may also become the main way theoretical problems are solved in other sciences.
Timeline
- Oct 14, 1:00 PM ET: A commentary asked whether math can stay human as AI churns out proofs, citing a DeepMind study.
- Oct 14, 2:15 PM ET: MIT researchers told WIRED that AI may soon become the default for solving theoretical problems in several sciences.
Coverage
- ‘I’m on a War Footing’: Terry Tao and the Crisis in Math (The New York Times)
- AI Came for Math. Now It’s Chasing the Rest of Science (wired.com)
- Can math stay human in the age of AI? (ashley)
More from Science
- Citrini Research designs 211 proteins with Claude AI
- Researchers find two methods to break down PFAS chemicals
- International team measures early Universe helium with record precision
- British Academy launches report on universities' research funding future
- Researchers find previously unknown chicken immune cell population
- Daily blueberries linked to fewer depression symptoms in small study