数学家自述：模型首次在其十年研究项目中产出漂亮的部分结果
littmath · x · 2026-09-05
普林斯顿数学家.LinqMath（littmath）长文讲述自己与 AI 协作做数学的体验：
- 他思考了约 10 年的一个数学问题仍未解决，但已形成指导当前工作的研究纲领，前 5 年几乎无进展，后 5 年与合作者取得一些不错的结果。
- 本周模型首次（非自主模式下）为该纲领中的一个子问题产出了非常漂亮的部分结果，并将其与微局部层理论（microlocal sheaf theory）、Lagrangian Floer 同调等他较陌生的领域联系起来，他因此得以学习这些内容。
- 他已对该论证做了多处改进与简化，并发现一些看起来相当重要的推论。他强调数学家的重要职能之一是「发现并认证有趣的新现象」，而前沿实验室对公开数学难题的重视正说明数学界擅长此事。
- 他也想过若未来模型（他戏称 GPT-8 Ultra Extreme 或 Claude Cthulhu 7）自主解决整个问题会怎样：他觉得会兴奋——有很多可学，解法会引出新问题；纵有 ego 上的失落，他仍会继续思考这些基础对象，因为问题本身只是思考它们的借口。
「漫话AGI」频道最新
- 新西兰学生戴 AI 眼镜作弊被罚,专家称传统考试面临死局 — _akpiper · 2026-09-05
- 企业 AI 采用氛围转变:八成人觉得更高效,仅 37% 公司见利润 — beglen · 2026-09-05
- 回应「千年星舰」类比：先花半年抵达认知前沿再动手 — JacquesThibs · 2026-09-05
- 博主断言:单家公司 10 倍算力或足以训练 200T 参数 ASI — Dr_Singularity · 2026-09-05
- 「Prompt 不存在」:前沿模型已触到普通用户的智力上限 — ctjlewis · 2026-09-05
- 播客对谈:人类应永远掌控,还是只是智能演化的过渡阶段 — romanyam · 2026-09-05