OpenAI announced it has solved over 100 open mathematical problems, including the Navier-Stokes Millennium Prize problem, one of the seven Clay Mathematics Institute Millennium Challenges. The company plans to publish hundreds of formal proofs written in Lean 4 on GitHub, following an earlier release of 10 problem solutions in August 2026. OpenAI is consulting its Advisory Group on Mathematics and Artificial Intelligence for responsible disclosure, though no confirmed release date has been set. The mathematical community has raised concerns about the pace of AI-generated proof publication and questions of credit attribution. Publishing via GitHub rather than traditional academic journals also raises questions about validation processes.
Source: Read the original article
