A new mathematical tool to uncover 'who eats whom' in nature

Understanding "who eats whom" is the key to keeping our oceans alive—and our dinner plates full. However, this invisible ...
Tech Times on MSNOpinion

IBM Quantum Starling gets its first real hardware: two cold modules now linked

IBM quantum computing milestone: the company successfully joined and cooled two modular cryogenic units into a single ...
Interesting Engineering on MSN

Chinese doctor baffles math world by cracking decades-old problem using ChatGPT

Jin Shanmu is a postdoctoral researcher at the Peking Union Medical College in Beijing, ...

Fast but error-prone AI assists in solving a decades-old fluid mechanics problem in five weeks

An AI assistant helped University of Colorado Boulder researchers solve a mathematical problem that had challenged their lab ...
Scientific American magazine

Can quantum computers solve math’s hardest problem?

The Riemann hypothesis claims that the locations of prime numbers along the infinite number line all adhere to a beautiful and orderly but obscure formula. Yet 167 years after German mathematician ...
Forbes

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

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. OpenAI's Astra model has reportedly solved ten complex, decades-old mathematical problems ...
SiliconANGLE

OpenAI’s Astra solves 10 long-open math problems and publishes the proofs

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, produced new results for 10 problems in mathematics and theoretical computer ...
NDTV

OpenAI Says Its Next AI Model Solved 10 Long-Standing Math Problems

OpenAI's latest revelation just shows how much AI is advancing literally every week. OpenAI's unreleased AI model Astra solved 10 complex problems in math and quantum science Astra generated proofs ...
quantamagazine.org

Why the Legendary Erdős Problems Are Falling to AI

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

OpenAI’s Astra Solves Ten Decade-Old Math Problems With Machine-Checkable Lean Proofs

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

OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems

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

Something Weird Is Happening in Math

One of the winners of this year’s Fields Medal is headed to OpenAI. Last Thursday, Jacob Tsimerman was one of four mathematicians awarded the prestigious honor, which is sometimes called the Nobel ...