GPT 5.6 Pro 为 p-adic 自守形式问题写出 8 页证明草稿
littmath · x · 2026-07-25
一位数学研究者称，GPT 5.6 Pro 在一个自守形式项目里帮忙写出了证明草稿。
- 他们缺的关键一步，是一个关于某个 p-adic 集合体积 的局部命题。
- 研究者先给了目标命题和“非分歧情形”的证明；模型约 30 分钟后给出了一份 8 页 的密集证明尝试。
- 这份输出甚至声称证明了一个比原命题稍强的结论，显示它有时能沿着既有策略继续推进证明。
「研究」频道最新
- 长周期智能体最终需要不可变事件日志 — sebpaquet · 2026-07-27
- 实测智能体数据科学工作流：代码能跑但常答错问题 — hugobowne · 2026-07-27
- 一份横跨 ML、系统、NLP 与音频的经典论文清单 — deliprao · 2026-07-27
- TechCrunch 讨论脑波信号或成 physical AI 训练新钥匙 — TechCrunch AI · 2026-07-27
- NeurIPS 反驳阶段临近：如何写出高质量回复？ — furongh · 2026-07-27
- 一篇名为“在康托空间没人听见你流”的计算机论文 — fkasummer · 2026-07-27