Mathematics on Coursiv Bloghttps://coursiv.io/blog/tags/mathematicsRecent content in Mathematics on Coursiv BlogHugo -- 0.147.0en-USThu, 06 Aug 2026 12:00:00 +0500OpenAI's Astra Solved 10 Open Math Problems — With Verifiable Proofshttps://coursiv.io/blog/openai-astra-math-proofsSat, 01 Aug 2026 12:00:00 +0500https://coursiv.io/blog/openai-astra-math-proofsOpenAI says an unreleased Astra model solved ten open problems in math and theoretical computer science, with machine-checkable Lean proofs — here's what it means.