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
We spoke to the organizer of the Caltech AI math event: 'We don't have the luxury of waiting"
6+ hour, 42+ min ago (997+ words) Caiman Moreno-Earle, a math major at Caltech, was wary after watching AI companies rapidly solve mathematical theorems that had stumped his professors for years. "It got kind of demoralizing," he told Business Insider. So the 19-year-old sophomore decided to bring…...
OpenAI says its AI cracked Navier-Stokes
23+ hour, 34+ min ago (266+ words) OpenAI says an internal model more capable than GPT-6 Astra produced a Lean-checked proof that Navier-Stokes can blow up in finite time. We reported September 12 that OpenAI was circling the Millennium Prizes with a new internal model. The World, The…...
OpenAI Claims Breakthrough in Navier-Stokes Equation, but NYU Mathematician Alleges His Work Was Copied
17+ hour, 56+ 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…...
25 Leading Mathematicians Warn AI Race Could Threaten Open Research | إنت عربي
23+ hour, 26+ min ago (965+ words) The growing race among AI labs to solve some of mathematics’ most famous problems is now facing pushback from the field’s most prominent researchers. Twenty-five mathematicians who have received the Fields Medal, widely regarded as the most prestigious award in…...
Fields Medalists Warn of AI Threat to Intellectual Activity in Mathematics
1+ day, 8+ hour ago (234+ words) Twenty-five Fields Medalists, including Princeton's June Huh, issued a joint letter warning that AI-driven math problem-solving, exemplified by OpenAI's rapid solution of a Millennium Prize problem, could undermine conceptual understanding and human collaboration, posing long-term risks to intellectual activity. They…...
Navier-Stokes & The Death of IP
19+ hour, 51+ min ago (151+ words) TL:DR // Key Insights: 🧠💡©️➡️♾️📦💸⬇️ ➜ 🏆≠🔐✅ ➜ 🏆=🔎❓＋🫥🧠＋🆕🗣️ ➜ 🚫🤖📚 AI is rapidly commoditising codified knowledge, expertise and even intellectual property, so competitive advantage shifts away from owning answers toward the uniquely human capacity to discover the questions, tacit knowledge and new conceptual language that do…...
OpenAI claims to have solved the Navier–Stokes problem
21+ hour, 19+ 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
1+ day, 3+ hour 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…...
OpenAI 'solves' a Millennium Problem — and 24 of world’s best Maths...
1+ day, 2+ hour 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
1+ day, 4+ hour 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....