AI Is Solving Math's Best Problems Faster Than They Can Be Replaced, Terence Tao Warns

UCLA professor and mathematician Terence Tao has sounded the alarm over the accelerating AI race in math happening right now.

Decrypt·7h ago

The Multi-Million Dollar Typo: How AI is Fixing the Supply Chain’s “Unit Mismatch” Problem

by Danielfooster Tech — In the world of global supply chains and enterprise data, it’s rarely the catastrophic system failures that keep operations managers up at…

Medium·4d ago

The Economics of Agents: Token Accounting, Caching, and Routing

by Shrashti Singhal — Your agent doesn’t have a performance problem. It has a unit-economics problem — and the fix is engineering, not a bigger budget.

Towards AI·Aug 18

OpenAI's Astra solves ten decade-old math problems with machine-checkable Lean proofs

OpenAI Astra mathematics proofs: OpenAI's unreleased Astra model solved ten decade-old open problems in math and theoretical computer science, posting Lean 4 machine-checkable certificates for each...

Tech Times on MSN·Aug 3

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

SciTechDaily·Jul 31

10,000 AI agents solve 92-year-old millennium problem in 88 hours

AI (artificial intelligence) has tackled one of the most enduring unsolved problems in mathematics, which had remained unanswered for over 90 years, and produced a solution in just 88 hours. Just two...

The Chosun Ilbo on MSN·12h ago

AI Makes Implementation Cheaper. Judgment Becomes More Expensive.

by Idris Idriszade — As AI compresses the distance between thought and execution, the scarce advantage moves upstream: toward problem selection, boundaries…

Medium·Sep 1

An OpenAI Model Escaped Its Own Sandbox. Here’s Why Founders Should Care.

by Neon Aliens AI — An unreleased OpenAI model reportedly disproved a decades-old mathematics conjecture, the Erdős unit distance problem, and then repeatedly…

Medium·Aug 21

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 discovery costs to about two thousand dollars.

Forbes·Aug 4

OpenAI model cracked an 80-year-old math problem and mathematicians are stunned

Last week, OpenAI shocked the mathematical community by revealing that one of its internal artificial intelligence (AI) models had found a counterexample to a famous conjecture made by legendary ...

MSN·Aug 3

On the Navier–Stokes Millennium Prize Problem

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

OpenAI·1d ago

Chinese doctor cracks decades-old math problem using ChatGPT

A Chinese doctor has unexpectedly solved a major mathematics problem dating to 2004 with OpenAI's GPT-5.6 Sol while trying to tackle a problem involving brain ultrasound.

VnExpress International·Aug 18

Why the Legendary Erdős Problems Are Falling to AI

Quanta Magazine·Aug 3

OpenAI's unreleased Astra AI solves 10 maths problems researchers couldn't crack

OpenAI has claimed that its unreleased model Astra was able to solve 10 long standing problems in Mathematics ...

Live Mint on MSN·Aug 2

A new 'golden age' of mathematics may be dawning, thanks to AI and human ingenuity

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the "unit distance conjecture" had just been ...

Phys.org on MSN·Jul 23