Scott Aaronson: 'Dispatches From the Possibly Last Days of Human Relevance' — Unit Distance Problem, AlphaProof Nexus, GPT5.5Pro All Solving Open Math

r/singularity / Scott Aaronson's Blog·medium signal

Quantum computing researcher Scott Aaronson published a major blog post cataloguing the convergence of AI math breakthroughs: OpenAI's internal model solving Erdős's 1946 unit distance conjecture, DeepMind's AlphaProof Nexus resolving nine additional Erdős problems with formalized Lean proofs (involving UT Austin's Swarat Chaudhuri), and GPT5.5Pro cracking a longstanding graph electrical flows problem. Aaronson argues 'we're now over the top of this particular rollercoaster' regarding mathematical human relevance, while noting the most creative humans still outpace AI on rich creative work.