数学家 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」频道最新
- 「创意禀赋效应」:人会舍不得放弃自己想出的烂点子 — yangyi · 2026-09-08
- 让模型会聊天比会数学编程更难:一句话道出 LLM 能力反差 — rickasaurus · 2026-09-08
- 顶级技术岗从业者:我把自己「自动化」失业了 — MickeySteamboat · 2026-09-08
- 回望金门 Claude 时代:对齐的巅峰已过? — sprooos · 2026-09-08
- OpenAI首席科学家:放弃数学聚焦,优先押注RSI与自动对齐 — Dr_Singularity · 2026-09-08
- scaling01 调侃 OpenAI 声称自己已实现 AGI 的说法 — scaling01 · 2026-09-08