OpenAI Drops 722 AI-Written Math Papers at Once, and Mathematicians Are Split
OpenAI has published hundreds of AI-generated proofs covering 372 open problems. Some mathematicians see a new era of exploration, others a threat to the discipline itself.