Latest news
OpenAI Astra Solves 10 Math Problems with Logical Accuracy - Geeky GadgetsGeeky Gadgets · Fri, 07 Aug 2026 11:20:15 GMTAI Cracks 87-Year-Old Math Puzzle in Two Weeks - denkstrom.orgdenkstrom.org · Thu, 06 Aug 2026 17:30:28 GMTOpenAI Astra Solves 10 Unsolved Math and Computing Problems - Geeky GadgetsGeeky Gadgets · Thu, 06 Aug 2026 13:35:13 GMTOpenAI Solves 10 Hard Math Problems Consecutively, Fable Successfully Reproduces 5 of Them Within 24 Hours - 36Kr36Kr · Wed, 05 Aug 2026 03:02:19 GMTChatGPT 6 Release Date: OpenAI's Next Model Exists - MemeburnMemeburn · Wed, 05 Aug 2026 02:14:18 GMTOpenAI says its next AI model Astra cracked ten long-unsolved math problems for roughly $2,000 - qz.comqz.com · Mon, 03 Aug 2026 12:49:42 GMTOpenAI Says New Astra AI Model Solved 10 Unsolved Major Mathematical Mysteries - Times NowTimes Now · Mon, 03 Aug 2026 07:51:46 GMTOpenAI's next-generation flagship AI model, 'Astra,' has achieved new results in 10 mathematical and theoretical computer science problems, enabling machine verification by formalizing proofs using Lean 4. - gigazine.netgigazine.net · Mon, 03 Aug 2026 07:00:00 GMT