An AI Solved 10 Math Problems Nobody Could Crack. Here’s Why That’s a Problem.
OpenAI’s unreleased model reportedly solved ten major open math problems. Everyone is debating whether the claim is real. But the deeper question is this: if an AI produces a proof no human can meaningfully verify, have we gained knowledgeβor just traded understanding for an oracle we must blindly trust? The future of mathematics, and all knowledge, may hinge on that distinction.