OpenAI says AI cracked century-old maths problem
OpenAI announced that its AI system produced an analytical proof and Lean formalization showing that an initially smooth fluid at rest can develop a singularity in finite time, potentially solving a 9…