Mathematicians Outraged as OpenAI Releases Hundreds of AI-Generated Proofs

OpenAI released over 700 papers containing AI-generated proofs for mathematical problems. The Association for Human Mathematics blasted the release as "a demonstration of power" rather than scholarship, with Fields Medalist Terence Tao endorsing the statement. An advisory group had previously asked OpenAI to stop testing proprietary models on advanced math problems.

• OpenAI published over 700 files with AI-generated mathematical proofs
• Association for Human Mathematics called the release "a demonstration of power"
• Fields Medalist Terence Tao endorsed the AHM statement
• Advisory group had asked OpenAI to stop testing proprietary models on advanced math