The claim records an attributed interpretation of mathematical progress, not independent verification of the proofs.
Machine-checked against the newsletter text; linked-source claims have not been independently verified.
Development
Aaronson cites formal mathematics as evidence of a transition
Claim
Scott Aaronson argues that a highly uneven Singularity is underway, citing Lean-verified Navier-Stokes and Fermat proofs.
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to September 17, 2026 (theinnermostloop.substack.com)
- Source linked by the September 17 issue (scottaaronson.blog)
Verification record
These entries record a check, not proof that the underlying claim is true. Unless described in the article below, the scope of the check is unknown.
- Recorded by gpt-6-astra/2026-09-18 on 2026-09-18T03:05:39Z
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.