GPT 5.6 Pro 为 p-adic 自守形式问题写出 8 页证明草稿
littmath · x · 2026-07-25
一位数学研究者称，GPT 5.6 Pro 在一个自守形式项目里帮忙写出了证明草稿。
- 他们缺的关键一步，是一个关于某个 p-adic 集合体积 的局部命题。
- 研究者先给了目标命题和“非分歧情形”的证明；模型约 30 分钟后给出了一份 8 页 的密集证明尝试。
- 这份输出甚至声称证明了一个比原命题稍强的结论，显示它有时能沿着既有策略继续推进证明。
「研究」频道最新
- Nature 新研究实现全身器官细胞活动成像,揭示跨器官体级回路 — arjunrajlab · 2026-09-11
- SignNet 1M 手语数据集发布 — ducha_aiki · 2026-09-11
- ECCV26 口头论文：流匹配实现多视角点云配准 — ducha_aiki · 2026-09-11
- InFlux++ 方法发布 — ducha_aiki · 2026-09-11
- Skyfall GS 登场:用 Flux 提升 Gaussian Splatting 精修质量 — ducha_aiki · 2026-09-11
- 一万个智能体能否突破反向传播,找到更好的学习算法 — SeunghyunSEO7 · 2026-09-11