cd/entity/ComparatorChallenges/Euler.lean· home› entities› ComparatorChallenges/Euler.lean

grep -l @comparatorchallenges/euler.lean /news/*.json | wc -l → 1

ComparatorChallenges/Euler.lean

mentions 1 type Organization feed RSS

// recent coverage 1 mentions

12:00

2026-09-04

baursoftware.com

artificial-intelligence

OpenAI's Navier-Stokes "Proof" Is 2,486 Files of Sorry

OpenAI published a 2,486-file Lean code repository that headlines claimed solved the Navier-Stokes Millennium Problem, but every theorem backing the claim is closed with the Lean placeholder keyword `…

// co-occurs with top 6 entities

OpenAI 1 Lean 1 Navier-Stokes 1 Clay Mathematics Institute 1 ComparatorChallenges/NavierStokes.lean 1 Euler 1

// topics top 4 topics

artificial intelligence 1 ai research 1 ai tools 1 ai safety 1