What Happens When the World is Run on Code No One Understands?
time.com · 932 words · saved by 1 readers
Mathematical verification must be a national mission in the AI era, write Patrick Shafto, Ken Ono, and Scott Duke Kominers.
The International Congress of Mathematicians met in Philadelphia last month, its first U.S. meeting since 1986. Minutes after accepting the Fields Medal, mathematics’s highest honor, Jacob Tsimerman told reporters he was leaving academia to work on AI safety. “I think the world is changing,” he said, adding that he did not expect the mathematical career to survive in its present form. Two months earlier, he had been one of nine mathematicians asked to review whether an AI model had truly refuted an 80-year-old central pillar of modern geometry, known as the Erdős unit distance conjecture.…
saved by
related reading
- Human mathematicians are being outcounterexampledxenaproject.wordpress.com
- Automation Without Understandingarxiv.org
- A New Consciousness of Mathematicsapoorvapanidapu.substack.com
- The fall of the theorem economydavidbessis.substack.com
- A Severe Misalignment of AI in Mathematicsterrytao.wordpress.com
- Existential Risk from AI: An Exposition for Mathematiciansalkjash.github.io
- Declaration — Math and AImathandai.org
- We need to talk about AI in mathematicsyoutube.com
- Solve math, solve everything. — Math, Inc.math.inc
- When AI Writes the World's Software, Who Verifies It? — Leonardo de Mouraleodemoura.github.io
- Mathematical Beauty, Truth and Proof in the Age of AI | Quanta Magazinequantamagazine.org
- AI Will Write All the Code. Mathematics Will Prove It Works.menlovc.com