AI's mathematical advances force a profession to redefine human work
The Washington Post reports that leading mathematicians gathered at OpenAI's San Francisco office to discuss what would remain for human experts if AI becomes superhuman at research mathematics. The framing is deliberately provocative, but the underlying change is real: recent systems have contributed counterexamples, proofs, and advances on longstanding problems, while mathematicians and AI companies debate how much novelty, reliability, and human direction each result contains. Mathematics is unusually exposed because a correct formal proof can often be verified more directly than a claim in an experimental science. That does not make the human profession obsolete. It shifts value toward selecting important questions, building theories, checking significance, translating results, teaching judgment, and deciding who gets access to powerful research tools. The field should resist both denial and a corporate future in which a few laboratories own the systems, compute, and agenda for mathematical discovery.