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

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 ...

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

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

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 ...