Mathematicians Dispute OpenAI's Navier-Stokes Proof Methodology
🤖 AI-generated content — The title and summary were produced automatically by artificial intelligence, without human editorial review.
In early September, OpenAI released a 166-page potential solution to the Navier-Stokes problem written in the formal verification language Lean, claiming it followed the approach of Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa. Expert groups dispute this, stating the actual approach differs fundamentally and only shares surface-level similarities. The Clay Mathematics Institute is reviewing the work, while mathematicians have also criticized OpenAI for dumping about 400 additional results on GitHub in early October that used roughly 10,000 model instances, 88 hours of compute, and 130 billion tokens.
Continue in the app — vote & join in ➔Source: The Decoder (AI) · via ahirlevel.hu