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

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

A Lincoln University professor will soon share his passion for using artificial intelligence as a tool in mathematics ...

Tulsa Public Schools reports a third year of OSTP gains in math, reading, and science, with notable fifth-grade and middle ...

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

As smart factories transform manufacturing, the real challenge is building the workforce to run them through training, ...

OpenAI is known to drop research bombs with no great announcement, and the newest one requires a closer look than just the ...

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

But from the perspective of research mathematicians, and especially young people who are pursuing a Ph.D. in mathematics, ...

Disproving the Jacobian conjecture marks the latest high-profile win in a historic year for frontier AI models in theoretical mathematics. (Image created with AI) An Anthropic researcher just gave ...

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished mathematicians for almost 90 years. It was included in "Smale's problems," a list of ...

A thread posted July 15 on the r/math subreddit claims that OpenAI’s GPT-5.6, guided by a carefully constructed prompt, produced a formal mathematical proof that closes a gap in convex optimization ...