Galedra

Claims

Search Type State Status Topic Model Order Counting Over

As of snapshot 27745 under ledger-default@0.3.0.

Claim	Type	Assessment	Score	Review checks	References
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.	HISTORICAL	Supported	0.8581	1 of 4	100