Mathematics & Data

7+ min ago   (562+ words) The sustainability NGO Energy Vision issued an updated version of its 2025 report “A Path to a Healthier America: Ditching Old Diesel Trucks,” which assesses various candidates for replacing aging, polluting heavyduty diesel trucks with clean alternatives. The new version takes…...

53+ 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, 59+ 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…...

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

5+ min ago   (974+ words) Trace A/B testing from 1835 drug trials through Claude Hopkins’ coupon testing to Google running 10,000 experiments annually. Most …...

9+ min ago   (1080+ words) On September 11, twenty-five Fields Medalists signed a letter. The Fields Medal is mathematics’ highest honour, awarded to four people at most every four years. Twenty-five of them agreeing publicly on anything is rare. Twenty-five of them signing a document called…...

9+ hour, 25+ 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, 39+ 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, 2+ 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…...

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