5+ hour, 28+ 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…...

17+ hour, 42+ min ago   (962+ words) AI models are increasingly solving mathematical problems that have occupied human researchers for decades. What does this mean for mathematics? Fields Medallist Alessio Figalli reflects on the implications and, together with 24 other leading mathematicians, warns of emerging pitfalls in the…...

22+ hour, 21+ 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…...

16+ hour, 42+ 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…...

22+ hour, 13+ 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…...

1+ day, 7+ 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…...

19+ hour, 42+ min ago   (27+ words) Title Field me: The CSD Sequence Theorem Subtitle: A Mathematical Discovery in Repdigit Division Sequences by Chitransh Srivastava The CSD Sequence Theorem: A Pattern in Repdigit Division …...

20+ hour, 5+ 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…...

1+ day, 2+ 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…...

1+ day, 2+ hour 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…...