The Age of Wonders and Terrors
Summary
Scott Aaronson analyzes the current AI surge and its impact on mathematics, highlighting Navier-Stokes solved with AI assistance, the rise of AI-assisted proofs, and the shift toward AI statements and Lean verification in research. The piece discusses authorship, credit, and the future role of human mathematicians, warning of alignment concerns and urging thoughtful integration of AI in scientific practice.