OpenAI Releases 700+ AI-Generated Math Proofs, Overwhelming Verification

OpenAI published over 700 AI-generated proofs solving long-standing mathematical problems, some open for over a century. The mathematical community is split between excitement and concern over verification capacity, as no established process exists to validate such a volume. This marks a significant acceleration in AI's role in formal research, raising questions about the integrity and reliability of AI-generated results.