AI Claims Two Century-Old Mathematical Proofs
OpenAI published a proposed proof of the Navier-Stokes existence problem while Anthropic formalized Fermat's Last Theorem in Lean 4. Clay Institute verification is pending.
Three mathematical proofs — one potentially worth a million dollars — landed alongside the strongest hint of dark matter particles in four decades and the hottest month in recorded history. The bottom line: AI started doing the kind of original theoretical work that earns Fields Medals, while the physical sciences delivered results that will rewrite multiple textbooks if they survive replication.
OpenAI published a proposed proof of the Navier-Stokes existence problem while Anthropic formalized Fermat's Last Theorem in Lean 4. Clay Institute verification is pending.
LUX-ZEPLIN recorded signals consistent with WIMPs at roughly 3 sigma, consistent with masses between 25 and 40 GeV. Below the 5-sigma discovery threshold.
The sixth consecutive month to break its all-time record pushed the rolling 12-month average to 1.6C above pre-industrial baseline. All major datasets agree.
A new human-readable proof replaces the 1976 computer-assisted version that checked 1,800 special cases.
The model predicts functional consequences of all ~9 billion possible single-nucleotide substitutions across the human genome, including variants too rare to appear in any population database.
A Nature paper found semaglutide extended median lifespan in aged female mice. No significant effect in males. The sex-specific finding raises questions about GLP-1 trial design.
Chinese researchers showed a base editor can precisely correct a PCSK9 variant in a human embryo without disrupting normal development through the blastocyst stage. Embryos were not implanted.
In vivo-manufactured CAR-T cells — engineered inside the patient's body — reduced MRI lesion burden in relapsing-remitting MS. Six of eight patients showed improvement.
A large trial found personalized mRNA cancer vaccine combined with pembrolizumab substantially reduced melanoma recurrence in stage 2/3 patients post-surgery.
UC San Diego showed E. coli RNA polymerase transcribes Hachimoji DNA — an eight-letter expanded genetic code — with no enzyme modifications required.
One email a week. The ten things in AI that mattered, and why. Choose your channel.