Caltech博士发文反对AI用于数学证明:道德上应抵制AI公司

zetalyrae · x · 2026-08-11

Caltech博士生Tasmin Chu发表长文,为“AI异议者”观点辩护。她认为日益强大的LLM对数学理解产生的社会环境有灾难性影响,并主张数学家应避免与AI公司合作,甚至采取对抗立场。她承认无AI的数学未来不太可能,但出于道德原因,不应使用LLM生成新证明,即使这可能加速科学进步。

原文链接 →

「漫话AGI」频道最新

更多「漫话AGI」频道 AI 资讯 →