OpenAI Releases Solutions to 377 Math Problems, Stirs Scientific Community

OpenAI has published solutions to 377 mathematical problems across algebra, number theory, and topology, following its earlier claimed solution to the Navier-Stokes equations. The release intensifies debate over AI's role in mathematical research, though the accuracy and peer review status of these solutions remain unverified. This marks a significant expansion of AI's demonstrated capability in formal reasoning, with potential implications for scientific discovery and verification.