Evidence item

The passage directly states the ten problems and publication of formal Lean proofs for machine checking. DIRECT_TEXT

Authenticity UNVERIFIED · extraction UNVERIFIED · independence group none (unreviewed) · created seq 12916

Source: OpenAI's Astra Solves Decades-Old Math Problems: A New Era for AI Discovery · locator {} · excerpt hash sha256:1fdf690829b878fb4839be62da0f8a3a25933ec579d886be97e7513a20d1d05c

Exact excerpt

OpenAI's Astra has solved ten previously open problems in mathematics and theoretical computer science. ... OpenAI confirmed that its advanced AI model, Astra, accomplished a feat previously thought to be years away: solving a suite of complex, open mathematical problems. The company underscored the significance of this breakthrough by publishing formal Lean proofs on GitHub, allowing for machine-checkable verification of Astra's results.

Linked claims

Claim	Direction	Relevance	Steps	Counted
c719e972	SUPPORT	DIRECT	0	yes

Audits

None.