OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a blog post called “Ten advances ...

OpenAI Astra reportedly solved 10 long-standing math problems dating back to 1946. Mathematicians are now actively debating ...

OpenAI confirmed the existence of Astra, a smarter, unreleased model that's already achieving big results in the math world.

OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical ...

OpenAI Astra achieved a major breakthrough by solving 10 complex theoretical math problems, utilizing sub-agents for ...

OpenAI says its internal Astra model produced new results on 10 longstanding problems in mathematics and theoretical computer ...

OpenAI's breakthrough once again shows that AI is literally advancing at a breakneck pace, with major breakthroughs arriving ...

A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...

A new study introduces choice engineering—a powerful new way to guide decisions using math instead of guesswork. By applying carefully designed mathematical models, researchers found they could ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...