The American Bazaar

OpenAI says AI system advances 10 major math problems

OpenAI says its internal Astra model produced new results on 10 longstanding problems in mathematics and theoretical computer ...
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, ...
Phys.org

Want to solve a complex problem? Applied math can help

Mathematical models help find real solutions After writing a mathematical problem to represent a situation, the second step in the modeling process is to solve the problem. For Sudoku, we ...
The Financial Express

Claude Fable cracks a math problem that stumped geniuses for decades

Claude Fable 5 reportedly disproved the Jacobian Conjecture with a one-line counterexample, signaling AI’s growing math role.