OpenAI just posted hundreds more results on major math problems

OpenAI has posted hundreds of solutions and progress toward 372 major math problems in a release of 722 manuscripts on GitHub, the company announced. The breakthroughs from an unreleased ChatGPT pioneer model, confirmed by a OpenAI's new advisory group, are likely to expand the Navier-Stokes AI controversy roiling the mathematical community. The results were expected, as OpenAI said last month that its models had resolved "more than 100 long-standing open problems across most areas of mathematics." As part of the release, OpenAI included the model's reasoning, compute estimates and information about the number of problems attempted. The company said the "average result" required around three hours of ChatGPT Pro use.