According to a 36Kr repost of a New Zhiyuan article, OpenAI published 722 math papers at once, said to include a counterexample showing failure of solutions to the Navier-Stokes equations and other claimed results on well-known open problems; the report also notes the papers still await verification. On Bloomberg's Odd Lots podcast, MIT associate dean of engineering education Justin Solomon said the proof is dense with technical detail, counterintuitive inequalities and extreme bounds, and that he stalled after two pages, able only to say it is "probably right." Fields Medalist Terence Tao, in a Caltech "Math 2.0" talk, offered a thought experiment about an AI-designed cancer therapy that passes formal verification and trials but whose mechanism no human understands, raising questions of interpretability and alignment.