Mathematics & Data

16+ min ago   (188+ words) AI has drawn a great deal of attention for reportedly solving difficult mathematical problems. Some critics argue that the recent AI solution of the Navier-Stokes problem may have drawn heavily on solutions posted by human mathematicians. But there is a…...

3+ hour, 22+ min ago   (921+ words) Collaboration with Caltech and NVIDIA uses an AI model to design laser pulse sequences for a molecule up to 10 million times faster than conventional simulation Sept. 14, 2026 — Researchers at UCLA, working with scientists at Caltech and NVIDIA, have developed an artificial…...

10+ hour, 26+ min ago   (35+ words) With VHDL being arguably more deterministic and bullet-proof than Verilog, it's good to see another open source VHDL simulator joining the fray that is not a variation of ghdl. Written by [Óscar Grim......

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

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

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

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

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

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

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