The Chosun Ilbo on MSN

OpenAI's Astra solves 10 long-standing math, CS problems

OpenAI announced on August 1, local time, that its next-generation artificial intelligence (AI) model, Astra, has achieved ...

OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, ...

OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems

OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version ...
Forbes

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
NewsBytes

OpenAI's unreleased Astra model solves 10 long-standing math problems

OpenAI announced its AI model, Astra, has resolved 10 longstanding mathematical problems spanning cryptography, quantum ...