The company also released research papers, Lean-certified proofs, and the model’s reasoning walkthroughs for each result.

Ten conundrums that stumped human mathematicians for years have been cracked by OpenAI's Astra model, continuing a hot streak ...

OpenAI is making a strong headway. In a recent blog post, the AI startup claims that its Astra model—not yet released to the ...

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut ...

OpenAI revealed Astra, its next major model, by publishing ten proofs of problems open for a decade or more. The total ...

AI’s greatest mathematical successes have come from answers to problems posed by a mid-20th century iconoclast. By examining ...

Mathematicians have been shocked and startled by the rapid rate at which AI is solving open problems in their field, causing ...

Eighteen-year-old Bulgarian student Nikola Veselinov won the $75,000 Regeneron Young Scientist Award at the 2026 Regeneron ...

OpenAI's newest model demonstrates growing potential for solving complex scientific challenges. OpenAI has announced that an ...

On its 70th anniversary, its ideas on technology’s link to economic growth remain central to debates around the impact of ...

Astra, OpenAI’s planned GPT-5.6 successor, produced new results in geometry, cryptography, coding theory, and theoretical computer science.

Middle and high school teachers can explore art, sports, recipes, shopping, and financial topics to show students that math ...