Mathematicians Say OpenAI's AI-Written Proofs Don't Yet Meet the Field's Bar
A single GitHub dump of machine-made math has forced a question the field has been circling: when an AI spits out a correct-looking proof that no human understands, does it count as mathematics? OpenAI says yes. A new Princeton-hosted advisory group says not like this.