All that could make OpenAI’s PR victory a Pyrrhic one. The company has, once again, proven that its models can compete at the ...

A Berkeley mathematics professor is sounding the alarm that many students are woefully unprepared when they arrive at college because the University of California system's progressive "test-blind" ...

On a recent Sunday night, an employee at Anthropic was out for a jog in San Francisco, opened the Claude app on his phone and instructed the outrageously powerful AI model in his pocket to solve the ...

When Beijing-based neurosurgeon Jin Shanmu pulled up a chair at his computer, he was not looking to make mathematical history. He was simply trying to crack a problem related to brain ultrasounds.

Let’s start here: math’s most famous problem is no closer to being solved than it was a week ago. Neither humans nor artificial intelligence have made progress on the Riemann hypothesis. But AI did ...

OpenAI’s latest AI model, Astra, has gained attention for solving ten significant mathematical problems, including breakthroughs in sphere packing and geometric conjectures. These areas have ...

On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model — one not available to the public — had come up with a counterexample to the “unit distance” ...

OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version produced ten significant advances in mathematics and theoretical computer ...

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

A young mathematician teamed up with a new AI model to tackle one of the hardest open problems in mathematics, and the result is causing a stir among mathematicians and AI researchers on X. Levent ...

An Anthropic AI model, Claude Fable 5, helped disprove the 87-year-old Jacobian conjecture, a famous open problem in mathematics dating to 1939. The model produced a concrete counterexample that ...