The Age of Wonders and Terrors
11 hours ago
- The author reflects on how AI has surpassed human mathematicians, solving problems like the Navier-Stokes Millennium Problem, which was once considered a distant fantasy.
- The mathematical community faces an upheaval: human mathematicians are no longer the primary theorem-provers, with a deluge of AI-assisted results solving longstanding open problems.
- Key AI-assisted results include counterexample to the Jacobian conjecture, improved bounds for Grothendieck's constant, and progress on quantum complexity conjectures.
- New norms for credit and authorship are debated—questions of understanding, responsibility, and whether AI should be listed as co-author.
- The author endorses a Fields Medalists' open letter advocating preserving human understanding and community in mathematics amidst the AI tsunami.
- There is personal anxiety about the future for his children and students, as AI capabilities rapidly accelerate.
- The author argues that the AI singularity has effectively begun, calling for intellectual honesty to acknowledge the wonders and terrors.
- Comments discuss whether AI can invent new concepts or only solve existing problems, and the need for new educational and career paths.