Person

Scott Aaronson

1 entry · 6 October 2026

Appears alongside

Featured in threads

Tracks

  • Models & capabilities 1
  • Ideas & essays 1
  • Benchmarks & progress 1

  1. OpenAI publishes hundreds of AI-written proofs of open maths problems

    722 unreviewed manuscripts in 372 result families, including claimed proofs of the Unique Games Conjecture and a zero-free strip for the zeta function; 235 families come with Lean checks.

    OpenAIModels & capabilities · Ideas & essays · Benchmarks & progress

In the commentary

Pieces from around the web that discuss Scott Aaronson. External links.