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

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

18+ hour, 52+ 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…...

7+ hour, 2+ min ago   (289+ words) A simulation theory synthesis by Jeffrey Mulholland. Section 2 — The Bostrom Trilemma Nick Bostrom’s simulation argument frames three possibilities: civilizations go extinct before reaching simulation capability, advanced civilizations choose not to run such simulations, or we are almost certainly living in…...

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

18+ hour, 44+ 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…...

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

11+ hour, 3+ min ago   (1426+ words) This document is written so that any undergraduate mathematics student can follow every step by hand, with a calculator, and verify every claim independently. No step is skipped. Every symbol is defined before it is used. Every "proven" claim below…...

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

17+ hour, 43+ min ago   (28+ words) Daily Tribune Getting this story ready… This article was just published. Hang tight — it will appear automatically in a moment....