GPT辅助发现反例家族
alexisgallagher · x · 2026-07-20
这条转发说，作者借助 GPT-5.6 做解释时，顺手在一个数学问题里发现了新的变化：在 C³ 中存在一个无限族反例。
- 对每个 n ≥ 3，都能构造出一个其 generic fiber 恰好有 n 个点的例子。
- 帖子把这视为在借助模型梳理思路时得到的数学观察。
整体上这是偏数学研究/讨论的内容，不是产品演示。
所属事件:实测 GPT-5.6 辅助高难度数学推演，成功构造雅可比猜想反例(6 条相关)→
「研究」频道最新
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- 本周热议的数学猜想到底关我什么事?一张普通人视角清单 — koltregaskes · 2026-09-11
- 用果蝇大脑连接组造了个 LLM,作者放出在线 demo — ngxson · 2026-09-11
- 社会学家 Harry Collins：LLM 无法发明新语言，做不了前沿科学 — whoamisri · 2026-09-11
- 「Waymo 效应」：AI 正在悄悄让科研协作变少 — JohnHammersley · 2026-09-11
- HF 工程师争论:非生成任务全用因果注意力是在浪费算力 — antoine_chaffin · 2026-09-11