数学家 Snowden 新论文用 ChatGPT 辅助论证,并附详细 AI 声明

littmath · x · 2026-09-08

数学家 Andrew Snowden 发布 56 页预印本《Measures on partial orders》(arXiv:2609.02021),解决了 Fraïssé 偏序类上测度空间的刻画问题,证明该空间是一个平面、八条直线与 15 个孤立点的并集——这是首个测度空间非等维、首个维数至少为 2 的本原案例。

论文在摘要中明确写道“ChatGPT 被用于获得许多论证,写作完全由作者完成”。合作者 Noah Snyder 转发称赞其第 1.4 节的 AI 使用声明极为详细,认为可作为学术界更广泛参考的范本。这是顶尖数学家公开披露以 LLM 辅助数学研究的罕见案例。

原文链接 →

「漫话AGI」频道最新

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