AGMAI
1 article tagged with AGMAI
October 8, 2026
analysisOpenAI
Only 10 of OpenAI's 719 math manuscripts include chain of thought, falling short of expert guidelines
OpenAI released 719 manuscripts claiming solutions to open math problems, but only 10 include the model's chain of thought. A Cambridge and King's College London paper also documents at least two discrepancies between the natural-language and Lean versions of OpenAI's Navier-Stokes-derived result.