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
Claude Powers 370-Year Cipher Breakthrough | AI News Detail
3+ hour, 8+ min ago (164+ words) According to @bcherny, Fable used Claude to solve the 370-year Cyphral Distich, revealing practical LLM cryptanalysis and research workflows, per Vals.ai. The Cyphral Distich represents a centuries old encryption method that has puzzled historians. According to the vals.ai…...
OpenAI Claims Breakthrough in Navier-Stokes Equation, but NYU Mathematician Alleges His Work Was Copied
7+ hour, 24+ min ago (840+ words) Mathematician Tristan Buckmaster asserts OpenAI cribbed the work he and a collaborator had done, which included significant progress toward solving the equation in August. OpenAI announced its team had solved the equation this week. In May 2000, to inspire mathematicians and…...
2024 Breakthrough: Two High School Students Use AI to Crack Unsolvable Math Problem That Stumped Fields Medal Laureate – Viral Internet Sensation
8+ hour, 32+ min ago (1258+ words) Can you believe this? Before even enrolling in university, two teenagers have already carried forward the research work of a Fields Medal laureate. Just today, a piece of news that stunned everyone came out of the UCLA Math Circle —— Two…...
OpenAI claims to have solved the Navier–Stokes problem
10+ hour, 47+ min ago (251+ words) South African outlet Daily Maverick reported that on September 8, OpenAI claimed to have solved one of the Clay Mathematics Institute’s Millennium Prize Problems — the Navier–Stokes problem. According to the outlet, the company’s unreleased model spent 88 hours on it, but…...
A famous 129-page proof became 13 million lines of code — thanks to Claude
17+ hour, 9+ 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…...
He was close to a $1 million breakthrough. Then OpenAI swooped in.
18+ hour, 17+ min ago (80+ words) The Washington Post A New York University professor questions whether AI agents that solved one of the most complex problems in theoretical mathematics were fed on his work. Tristan Buckmaster thought he was on the verge of the most important…...
Ahmed Areff | OpenAI says it solved a 90-year-old maths problem. Is an answer worth it?
18+ hour, 32+ min ago (93+ words) news24.com Ahmed Areff | OpenAI says it solved a 90-year-old maths problem. Is an answer worth it? - Capitec fined R28m, Ninety One also sanctioned over FICA shortcomings - OPINION | Key ruling against SARS opens door to tax deductions for businesses - Wendy Knowler | When…...
Is Maths Cooked? Navier–Stokes and Terence Tao’s Five Stages of Solving a Problem
18+ hour, 49+ min ago (1038+ words) Eighty-eight hours. Around ten thousand AI agents. A Millennium Prize Problem that mathematicians have worked on …...
🧮 AI agents solved one of mathematics' hardest problems in 88 hours
19+ hour, 40+ 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…...
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, 14+ 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…...