OpenAI says an internal version of Astra produced ten new results on decade-old open problems, each shipping a machine-checkable Lean certificate. The proofs are the strongest part of the story — the $2,000 price tag is the weakest, and the person who first said so works at OpenAI. Full sourced analysis: https://tenproofs.novcog.us.com/