The Mathocalypse. "Last night my 9-year-old son was taunting my wife, complexity theorist Dana Moshkovitz, as follows: 'mommy, I heard you got cooked! I heard that a robot solved the math problem you worked on for your whole career! OOF!'" Scott Aaronson on OpenAI's announcement of 372 breakthrough mathematical results using an unreleased model.

Lech Mazur:

A quick check shows that this list claims to fully solve 90 of the top 500 open problems in math (https://proofatlas.ai/open-problems/). The highest ranked would be:

• Hilbert's Tenth Problem over the Rationals
• Unique Games Conjecture
• Anderson Model Extended States in Dimension at Least Three
• Penrose inequality
• Nonexistence of Landau–Siegel zeros for quadratic Dirichlet L-functions
• The Baum-Connes Conjecture for the K-Theory of Reduced Group C*-Algebras
• Abundance Conjecture for the minimal model program
• Hadwiger Conjecture
• Bose-Einstein Condensation in Interacting Continuous Bose Gases
• Entanglement Area Law for 2D Gapped Quantum Systems