2026-10-06 数学的流水线，停在了第一站 一年前还够发表的数学结果，如今AI信手拈来。数学界庆祝松绑，却没人问一句：当证明免费，人类还剩什么可卖？ #陶哲轩 #数学证明 #Lean形式化 READ MORE →