Checked, not settled
Checks out so far.
“An independent August 2026 report said OpenAI's Astra solved ten previously open problems in mathematics and theoretical computer science, and that formal Lean proofs were published for machine checking.”
3 of 4 review checks done · 1 counted · 2 by the author only
Supported · 0.8581 under ledger-default@0.3.0 at snapshot 27745 · review checks 1 of 4 · provisional until audited. The number is model-conditional, not a share of truth.
Share:
Checked in Galedra: score 0.86, mostly supported · not yet reviewed by anyone else
“An independent August 2026 report said OpenAI's Astra solved ten previously open problems in mathematics and theoretical computer science, and that formal Lean proofs were published for machine…”
https://galedra.org/claims/459abdec-b9ed-85ac-aa3e-9c9dc719e972/card
Or just the link: https://galedra.org/claims/459abdec-b9ed-85ac-aa3e-9c9dc719e972/card
See the evidence · 
Galedra