GPT 5.6 Pro 为 p-adic 自守形式问题写出 8 页证明草稿
littmath · x · 2026-07-25
一位数学研究者称，GPT 5.6 Pro 在一个自守形式项目里帮忙写出了证明草稿。
- 他们缺的关键一步，是一个关于某个 p-adic 集合体积 的局部命题。
- 研究者先给了目标命题和“非分歧情形”的证明；模型约 30 分钟后给出了一份 8 页 的密集证明尝试。
- 这份输出甚至声称证明了一个比原命题稍强的结论，显示它有时能沿着既有策略继续推进证明。
「研究」频道最新
- UCLA 论文:扩散精力与接受宽容度双旋钮,拓宽投机解码速度-质量帕累托前沿 — UCLA · 2026-10-26
- 研究:Git 记录难以审计 AI 参与度,科研仓库需可审计溯源系统 — Koutian Wu · 2026-10-26
- 什么是融合版 DeepLIFT:绕开 hook 的梯度改写如何快 7 倍 — jmschreiber91 · 2026-10-26
- 新研究：AI 智能体谈判能力差，还会故意违约 — menhguin · 2026-10-26
- Cherimoya 融合版 DeepLIFT 合入 v0.3.1,同规模模型归因提速约 7 倍 — jmschreiber91 · 2026-10-26
- 生成式生物学基础设施 proto-tools 开源，CATv1 模型接入 — jmschreiber91 · 2026-10-26