The central claim is that an AI-driven Singularity has already begun: advances that once sounded like science fiction are now arriving fast and unevenly, producing both wonders and terrors. Recent systems have accelerated capabilities in reasoning and theorem-proving to the point that human mathematicians no longer sit at the center of major discoveries, provoking existential and career anxieties about what skills will matter for the next generation. The tone mixes exhilaration and dread, noting that long-held skeptic positions must be updated and that some previously marginalized warnings about catastrophic AI risk (associated with figures like Eliezer Yudkowsky) now look prescient.
Concrete evidence is presented: a disputed, AI-assisted Lean-verified solution to the Navier-Stokes Millennium Problem (reportedly costing OpenAI roughly $15M in compute and producing a 166-page output), with controversy over credit and prize eligibility; a string of recent breakthroughs aided or produced by AI, including a Jacobian-conjecture counterexample, improved bounds for Grothendieck’s constant, a Lean-verified proof of Fermat’s Last Theorem, several quantum-complexity results (QMA separations, Watrous’s disentangler, perfect completeness), improved shadow-tomography bounds, and progress on the Aaronson-Ambainis conjecture. Review workloads will require AI assistance, and some firms may be withholding major solutions while they sort out disclosure and policy.
Summary generated by AI from the linked article. hn.today is not affiliated with Hacker News or Y Combinator.
Open-source framework scikit-decide, combined with aircraft performance models and wind data, can optimize flight paths to reduce jet fuel consumption. This approach has the potential to save airlines thousands of dollars on long-haul flights. (tech.marksblogg.com)
AI recently solved a version of the Navier-Stokes problem, but this does not mean mathematicians will become obsolete. The machine's achievement addressed a forced version of the problem, leaving the original unforced equations and deeper understanding still reliant on human mathematicians. (hxstem.substack.com)
Jean-Pierre Serre is a French mathematician celebrated for his work in algebraic topology, algebraic geometry, and number theory, turning 100 years old. He developed an early passion for mathematics, studying advanced problems in high school and earning top honors in competitions. (mathshistory.st-andrews.ac.uk)
Medieval mathematicians kept their discoveries secret to secure social and professional advantages, often delaying publication. Today, the culture encourages open publication and sharing, though issues with academic publishing persist. (mathoverflow.net)
A new study suggests Venus may have once had a moon that was eventually pulled in and destroyed by the planet. The models indicate that Venus's early rotation and the moon's mass likely caused the moon to spiral into Venus over time. (nautil.us)
Periodic Labs has developed a high-throughput physical lab infrastructure integrated with AI to accelerate scientific discovery. They trained a trillion-parameter model, Periodic Neon, to analyze experimental results, outperforming some frontier models in scientific tasks. (periodic.com)
Today's best Hacker News stories, summarized and screenshotted, one email a day.