Scott Aaronson
Professor of computer science, UT Austin · as of 2026-10-04 · source
Quantum-complexity theorist who worked on AI safety at OpenAI (2022-2024) and credited GPT-5 with a key step in a 2025 proof.
News mentioning Scott Aaronson (3)
- Quanta's math editor asks 'Is AI the End of Math As We Know It?'; young mathematicians form an Association for Human Mathematics ★★★
On Oct 5, 2026 Quanta Magazine's math editor Jordana Cepelewicz published an essay on how AI-generated proofs are breaking the incentive system of research mathematics. It describes a Berkeley talk by Ken Ono, two days after OpenAI's Sept 8 Navier–Stokes announcement, that turned into more than…
- Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help (July–September catalogue) ★★★★
Between July and September 2026 arXiv saw a steady stream of papers that resolve a named conjecture or open question and disclose that a frontier model (mostly GPT-5.6 Sol/Pro and GPT-6 Astra, also Claude Fable 5/5.1, Opus 5/5.5, Gemini) found the key idea, the counterexample or the whole proof…
- Scott Aaronson credits GPT-5 with a key step in a quantum complexity proof ★★★
In 'Limits to black-box amplification in QMA' (Aaronson and Witteveen, arXiv 2509.21131), GPT-5-Thinking suggested the key function Tr[(I−E(θ))^−1] used in the proof. Aaronson called it the first paper of his where a key technical step came from AI.
Posts (1)
- The Age of Wonders and Terrors original ↗ Scott Aaronson (Shtetl-Optimized) · blog · 2026-09-15
A leading theoretical computer scientist declares, after OpenAI's Navier–Stokes claim, that human mathematicians are 'forevermore dethroned as the main theorem-proving entities on planet earth'; widely quoted, including by Quanta.
Mentions are matched automatically by name, so a few may be about a namesake. Last checked 2026-10-04. All people · corrections: contact@postcutoff.com