Why Mathematicians Are Pushing Back on AI-Generated Proofs
OpenAI’s recent mathematical breakthroughs have sparked a deeper argument: a proof can be correct yet still fail to deliver understanding, attribution, or trust. Here’s why mathematicians are challenging the race to benchmark AI with unsolved problems.