Install
Please confirm you are human
This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.
A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.
News
A famous 129-page proof became 13 million lines of code — thanks to Claude
5+ hour, 18+ min ago (414+ words) Claude turns a 350-year-old, 129-page proof into 13 million lines of Lean code Anthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a famous, centuries-old mathematical proof. The proof addresses Fermat's Last Theorem, a hypothesis…...
Researchers Use Math to Ensure a Wordle Win 99% of the Time
5+ hour, 11+ min ago (474+ words) Millions of people playing their daily Wordle games will be eager to hear about this new research. Using information theory, the team of researchers from Binghamton University and State University of New York has developed a method to solve the…...
OpenAI 'solves' a Millennium Problem — and 24 of world’s best Maths...
3+ hour, 46+ min ago (16+ words) AI’s maths breakthroughs are raising concerns that machine-generated proofs could weaken human understanding and critical thinking....
Twenty-Five Fields Medalists Signed a Warning Three Days After OpenAI’s Eighty-Eight-Hour Proof
5+ hour, 47+ min ago (19+ words) Twenty-five Fields medalists warn against AI benchmark culture after OpenAI claims an 88-hour Navier-Stokes proof. What machine verification misses....
🧮 AI agents solved one of mathematics' hardest problems in 88 hours
7+ hour, 49+ min ago (416+ words) 10,000 AI agents found a solution to the Navier-Stokes problem, which mathematicians have worked on for decades. The problem is one of six Millennium Problems each carrying a prize of $1 million. If the result is confirmed, it is the first time…...
2 High School Students & A Postdoc Have Used AI To Apparently Solve A Math Problem That Had Stumped A Fields Medalist
13+ hour, 3+ min ago (201+ words) AI appears to have opened math research to a cohorts that weren’t typically expected to contribute meaningfully to the field until recently. Two teenagers from Oak Park High School in California and a UCLA postdoc have just put their names…...
AI solving a 90 year old math problem and more
15+ hour, 3+ min ago (1027+ words) What do you do when ChatGPT starts talking nonsensical gibberish or hallucinating wildly? Usually, you start by shouting at it or hitting refresh. But Snickers thinks you should feed it a candy bar instead. Snickers recently launched Hungr.AI, calling…...
25 Fields Medalists, Including June Huh, Warn AI Math Races Threaten Core of Mathematics
17+ hour, 55+ min ago (369+ words) Joint statement led by Terence Tao urges urgent debate on AI-driven unsolved problem contests and their impact on mathematical research and education However, the mathematicians pointed out that corporate competition that treats solving unsolved problems as a benchmark for AI…...
AI Is Powerful Enough to Crack Our Hardest Math Problems—and Kill Us All
1+ day, 1+ hour ago (771+ words) You don’t need to know any math to understand why the Millennium Prize breakthrough matters. It’s proof of AI’s accelerating and terrifying progress. Why should we care that AI is suddenly insanely good at math? It’s a question that I’ve…...
A 58-year-old lecturer who had published no original work in 12 years, and who had spent years keeping the books at a friend's Subway sandwich shop, mailed a paper to the Annals of Mathematics on April 17, 2013. Just over a month later it was accepted: pairs of consecutive primes less than 70 million apart occur infinitely often.
1+ day, 2+ hour ago (342+ words) An obscure adjunct, working at a Subway while publishing nothing, solved a centuries-old problem that had defeated the world's elite mathematicians. By Science Blog Editorial Team Published September 12, 2026 · How we edit By the time he submitted, he had published no…...