给AI立规矩，AI刚破80年数学难题，数学家们慌了

OpenAI 内部模型自主解决了困扰数学界 80 年的 Erdős 单位距离问题——这是 AI 首次自主攻克领域核心开放难题，被视为数学领域的"AlphaGo 时刻"。菲尔兹奖得主蒂莫西·高尔斯感慨，"如果 AI 能证明单位距离猜想，也许数学家很快就要完蛋了"。消息一出，约 60 名顶级数学家、计算机科学家在莱顿大学紧急集结，签署《莱顿人工智能与数学宣言》，警告三大风险：数据征收（商业公司用数学家无偿论文训练 AI，产出却闭源）、理解的断层（AI 证明越来越冗长晦涩，全球无人能读懂）、权力的倾斜（掌握算力的公司决定什么是重要数学问题）。宣言核心三原则：披露权、验证权、自主权——拒绝商业逻辑碾压开放科学，守住"人类作为逻辑物种的最后尊严"。