Mathematicians grapple with a ‘very rapid and very unsettling change’ as AI cracks yet another century-old problem

Fortune·12h ago

No, Anthropic’s AI didn’t just solve math’s hardest problem

There’s a $1-million prize for proving the Riemann hypothesis. Claude couldn’t pull that off, but it made significant progress on a related problem ...

Scientific American·2d ago

What is OpenAI Astra? Everything we know about the quantum math-solving model.

OpenAI confirmed the existence of Astra, a smarter, unreleased model that's already achieving big results in the math world.

Mashable·Aug 5

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 what makes the Erdős problems unique, mathematicians are trying to ...

Quanta Magazine·Aug 3

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 2

22-Year Math Community Conundrum Actually Solved by an Intern Doctor from Peking Union Medical College Hospital?

36Kr·1d ago

No, AI didn’t just solve the thorniest problem in math

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. In a blog ...

Yahoo·2d ago

OpenAI Astra Solves 10 Math Problems with Logical Accuracy

OpenAI Astra reportedly solved 10 long-standing math problems dating back to 1946. Mathematicians are now actively debating its potential for AGI.

Geeky Gadgets·Aug 7

Mathematicians are grappling with the possibility that AI might eclipse them

understandingai.org·Aug 4

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

BleepingComputer·Aug 3

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

SiliconANGLE·Aug 2

Astra Solves Decades-Old Math Proofs, Meta Drops Muse Code, and OpenAI Eyes a $400 Smart Speaker

by Ripudaman Singh — From terminal coding agents to autonomous lunar factory architectures, here is your weekly briefing on the shifts reshaping artificial…

Medium·2d ago

AI Overturns 80-Year-Old Mathematical Conjecture: Fields Medal Laureate Stays Up All Night, Fearing Imminent Elimination

36 Kr·Aug 7

Claude Fable 5 AI finds a tiny formula that topples an 87-year-old math conjecture

ScienceDaily·Aug 6

OpenAI announces solutions to 10 longstanding maths problems

New Scientist·Aug 4

When machines do math: The promise & limits of AI

AI will likely transform how research in the field is conducted. But it would be premature to conclude that it can solve every mathematical problem.

The Indian Express·Aug 2