AI Doesn’t Mean the End of Mathematics—at Least Not Yet
Refract AI Intelligence Digest
BLUF
AI currently cannot replace expert mathematicians, preserving the human foundation of critical fields like cryptography.
NEWS
Approximately 40 top mathematicians met at OpenAI to discuss career threats posed by generative AI. Authors Schneier and Rafi contend that while AI is advancing, it remains inferior to experienced academics for complex problem-solving.
Why I Care
Security infrastructure relies on mathematical proofs; if AI disrupts math research or validation, cryptographic standards could face unforeseen vulnerabilities.
Next Steps
Security teams should audit reliance on AI-generated mathematical proofs by Q4 2026 and continue validating AI outputs against human expertise.
This essay was written with Kasra Rafi, and originally appeared in The Guardian.
Earlier this month, about 40 top mathematicians gathered at OpenAI’s offices to discuss the future of their profession. The meeting was off-the-record, but if recent articles by mathematicians are any guide, it was mostly pretty glum. People fear for their jobs, their careers and the work they love.
We think the contrary view is more likely, at least in the short-term. AI models are nowhere near as capable as experienced academic mathematicians.
This isn’t to say that AIs aren’t producing stunning mathematical results at the level of PhD researchers. In mid-May, OpenAI ...
Source: Schneier on Security ·