GPT辅助发现反例家族
alexisgallagher · x · 2026-07-20
这条转发说，作者借助 GPT-5.6 做解释时，顺手在一个数学问题里发现了新的变化：在 C³ 中存在一个无限族反例。
- 对每个 n ≥ 3，都能构造出一个其 generic fiber 恰好有 n 个点的例子。
- 帖子把这视为在借助模型梳理思路时得到的数学观察。
整体上这是偏数学研究/讨论的内容，不是产品演示。
所属事件:实测 GPT-5.6 辅助高难度数学推演，成功构造雅可比猜想反例(6 条相关)→
「研究」频道最新
- arXiv 避坑提示续：分类器推荐不同主分类时应接受，否则几乎必被搁置 — tdietterich · 2026-10-27
- arXiv 积压超 4000 篇论文被搁置，版主致歉并给出避坑建议 — tdietterich · 2026-10-27
- CoreWeave 三周 RL 后训练:BrowseComp 提升 22.9%,工具调用省三成 — RichardSocher · 2026-10-27
- 开源决策模型打《红色警戒2》：先卖基地后自瞄自炸，训练后无人能敌 — heathercmiller · 2026-10-27
- DeepMind 论文：LLM 无法自行随机采样，需外部传入随机数 — rohanpaul_ai · 2026-10-27
- 世界模型新玩法：物体赋重量摩擦系数，物理引擎推演机器人动作 — jonstephens85 · 2026-10-27