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

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

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

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

19+ hour, 16+ 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, 1+ 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   (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…...

1+ day, 3+ hour ago   (1038+ words) Eighty-eight hours. Around ten thousand AI agents. A Millennium Prize Problem that mathematicians have worked on …...

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

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