Mathematics

Statistics Applied Mathematics Geometry Algebra Topology Analysis Graph Theory Optimization Probability Theory Numerical Analysis

OpenAI Says Its AI Found a Proposed Navier–Stokes Blowup

The company published a technical paper and a Lean formalisation to prompt independent checks under the Clay Mathematics Institute’s prize process.

OpenAI Says Its AI Found a Finite‑Time Singularity in Navier–Stokes

Stories older than 24h

Anthropic Says Claude Produced First Machine-Checked Formalization of Fermat’s Last Theorem

Researchers Transmit Data in Topology of Light Through Turbulent Air

Anthropic’s Claude Raises Proven Riemann Zeta Zero Bound to 67.2%

Study Finds Dinosaurs Were Barred From Evolving into Very Small Body Sizes

OpenAI Names Unreleased Astra After Internal Model Produced Ten Machine‑Verified Proofs

Nanoscale Smith Hat Patterns Produce Chiral Laser Diffraction

Wang Hong Reported to Win Fields Medal and Be Third Woman Recipient

Two Chinese Mathematicians Win 2026 Fields Medals

IMU Awards 2026 Fields Medals to Four Mathematicians, First Chinese Woman Among Winners

IMU Awards 2026 Fields Medals to Four Mathematicians

Fields Medals Awarded to Deng, Pardon, Tsimerman and Wang at ICM in Philadelphia

AI Model’s Output Disproves 87‑Year‑Old Jacobian Conjecture

Spain Launches MamoRisk To Validate AI and Genomics Breast‑Cancer Risk Model

Archaeologists Identify Named Eighth‑Century Maya Mathematician on Xultun Wall

Ancient Maya Astronomer Named Sak Tahn Waax Deciphered from Xultun Wall

PNAS Study Solves Feynman’s Reverse‑Sprinkler Puzzle

CSIC Debuts Low‑Cost Social Robot That Uses Emotional AI to Aid Autism Therapy

DESI Report of Gigaparsec Galaxy Alignments Challenged by Distance-Scaling Critique