{"id":"arxiv/2610.35263","url":"https://arxiv.org/abs/2610.35263","tags":["math.HO"],"score":0,"title":"On AI and Progress in Mathematics: Dreaming a Mathematical Universal Machine","domain":"math.HO","source":"arxiv","authors":["Vincent Runge"],"reviews":0,"subject":"math.HO","summary":"In the autumn of 2026, mathematics is facing what may be the deepest crisis in its history. The entire ecosystem through which mathematical knowledge is produced, validated, communicated, and assessed is beginning to break down. Mathematics departments, those usually quiet and civilized places, are suddenly in turmoil -- the unlikely theaters of a new Battle of the Ancients and the Moderns. The source of the crisis is clear: AI systems have become better than even the best human mathematicians at proving and validating mathematical results. This document proposes a metaphor for mathematical…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-26","reactions":{}}