#mathematics
6 stories taggedmathematics.
An AI Just Solved a Hard Open Problem in Pure Mathematics. Mathematicians Are Shaken.
OpenAI's Astra model cracked a longstanding question in group theory this month. A working mathematician explains why that felt impossible just weeks ago.
Will AI replace mathematicians? Probably not yet, say experts
About 40 top mathematicians met at OpenAI's offices this month to talk about their profession's future. The mood was worried. The evidence, though, tells a more complicated story.
AI Cracked Ten Hard Maths Problems in One Summer. Now Mathematicians Are Fighting Back.
OpenAI's models solved open problems that stumped humans for decades. The world's most celebrated mathematician says the field has until the end of 2025 to decide who controls its future.
An AI Just Verified the Hardest Prime-Number Proof Mathematicians Have Ever Checked
Axiom Math's AxiomProver confirmed a result that sits at the very edge of what we know about primes. The real prize, though, is what this means for the safety of AI-written code.
OpenAI's AI Solved 10 Hard Maths Problems. Now Mathematicians Are Asking What Their Jobs Are Worth.
A new OpenAI model cracked decade-old maths puzzles that stumped human researchers for years. The results are impressive. The credit dispute around one of them is a warning about how AI labs talk about the people whose work they build on.
Ultra-fast AI proof checking: what a new maths result means for verifying huge data
Researchers have found a way to check approximate facts about enormous datasets using only a tiny sliver of the data, twice over. Here is why that matters.