Scott Aaronson says OpenAI AI proofs shift math

Computer scientist Scott Aaronson discusses the implications of OpenAI releasing nearly 400 AI-discovered solutions to major open math and theoretical computer science problems, including a proof of the Unique Games Conjecture. Aaronson argues that while these poorly written AI proofs change the nature of mathematical research by bypassing traditional human discovery paths, they shift the human role toward interpretation, exposition, and understanding. Open article →