AI 数学界争议：资深数学家阻挠 hackathon 引发「该不该禁 AI 解题」辩论

stanislavfort · x · 2026-09-11

研究者 Stanislav Fort 对「AI 解数学题」争议提出质疑：如果这些问题值得解决，为什么不解决？常见的反驳是人类数学家在解题过程中发展出可复用的工具与方法，而 AI 目前不会这样做——这有道理，但逻辑上更应推进的方向是用 AI 从具体证明中蒸馏出可复用的数学基础设施，而不是像资深数学界那样阻挠 Caltech hackathon 并对参与者发出含糊威胁。

他还指出，如果资深数学家认为数学本质上是「人类原创性至上」的美学事业，这显然与公众对其领域的认知以及公共资金资助的初衷不符。