OpenAI Publishes 377 AI-Generated Mathematical Findings, Raising Verification Questions

OpenAI released 377 mathematical findings produced by AI, marking a notable expansion of AI's role in formal research. The core claim is that these are novel findings, but verification status and human oversight remain unclear. This matters because it signals a shift in how mathematical discovery is conducted and validated.