Abstract:Recent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical practice, and to respond appropriately to the challenges and opportunities we now face.
Submission history
From: Jeremy Avigad [view email]
[v1]
Wed, 4 Mar 2026 03:23:58 UTC (7 KB)
[v2]
Sat, 7 Mar 2026 23:42:15 UTC (7 KB)
[v3]
Mon, 6 Apr 2026 14:19:38 UTC (7 KB)