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

In an episode of the cartoon, a machine lets characters swap bodies, but they can’t switch back with the same person. Math ...

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

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

Focus, commitment, and insight resulted in a “once in a century” proof. Hong Wang is now just the third woman to win a Fields ...

OpenAI just used its new large language model GPT-5.6 Sol to solve a math problem that humans have struggled with for more than a half-century. And all it took was telling the artificial intelligence ...

Its writer, Ken Keeler, had to formulate an original mathematical proof to solve a significant plot problem. The bodies and minds of nine characters are mixed up so wildly that it becomes hard to ...

ICM 2026 Philadelphia opens Thursday at the Pennsylvania Convention Center with the Fields Medal ceremony likely already spoiled: a website security failure leaked four probable winners weeks before ...

A mathematician announced that he used one of Anthropic's A.I. models to find a counterexample to a problem called the ...

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

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

AI’s achievements in math are starting to add up quickly ...