devtake.dev — #astraArticles tagged astra on devtake.dev.https://devtake.dev/en-usTen decade-old math problems fell to an unreleased OpenAI model, for about $2,000 of tokens eachhttps://devtake.dev/article/openai-astra-math-lean-proofs/https://devtake.dev/article/openai-astra-math-lean-proofs/OpenAI published ten results in math and theoretical CS from an internal build of Astra, with Lean 4 certificates for every proof. What that verification does and doesn't settle.Mon, 03 Aug 2026 09:05:00 GMTaiopenaillmai-modelsmathematicsformal-verificationastrabenchmarksdieter-morelli