Math 2.0: Why Solving Is Only the Beginning
AI can now generate and verify difficult mathematical proofs, but a checked proof is only the first step. Math 2.0 should reward the explanations, reusable tools, communities, and new questions that turn an isolated solution into lasting mathematical progress.