AI models atom movement to predict solid-state reaction pathways, including impurities, in minutes

A research team at the Department of Energy's Lawrence Berkeley National Laboratory (Berkeley Lab) has successfully ...

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

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

Why the Legendary Erdős Problems Are Falling to AI

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

OpenAI says its next model, Astra, has solved ten open problems in mathematics

TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its next major model, called ...

AI Helps Crack an 87-Year-Old Math Conjecture With One Tiny Formula

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