09:33
2026-09-10
dev.to
artificial-intelligence
Mathematicians, OpenAI, and a $1m Problem
Mathematicians Tristan Buckmaster, Levent Alpöge, and Matei Coiculescu published machine-checked Lean proofs showing that several fluid equations, including 3D incompressible Euler, can blow up in fin…