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

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

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...

Sebastien Bubeck of OpenAI says “yes, nonsofic groups exist”—as an example of “many new beautiful results” from Astra, next major OpenAI model. OpenAI published a page and PDF detailing ten advances ...

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...

Mathematicians who helped unify laws of physics and cracked decades-old problems in geometry are among this year's recipients ...

The School of Mathematics and Statistics is recognized for its contributions to research and applications of mathematical and statistical science, and it’s also known for expertise in mathematical and ...

How the child’s brain changes with schooling, as it acquires the abstract concepts of mathematics, remains unclear. By longitudinally tracking children’s brain responses to mathematical sentences from ...

If you are looking for the absolute peak of modern automotive development madness, Toyota’s Gazoo Racing (GR) division is currently putting on a masterclass. For months, the automotive world has been ...

In this paper, the authors propose a phenomenological framework for addressing the black hole information loss paradox using the Gravity Branch Model (GBM) of quantum measurements. In this approach, ...

Pi Day — March 14, or 3.14 — is here, and for Californians, the math-themed holiday comes with extra local flavor. The celebration was born in California in 1988 at San Francisco’s Exploratorium, and ...

Claude Code gives an LLM a shell and dev tools so it can write and run code. Bourbaki does the same thing for math: it gives an LLM a computer algebra system (SymPy), a proof assistant (Lean 4), and ...