AI发现关键数学论文，将150页证明压缩至10页
2prime_PKU · x · 2026-07-07
北京大学研究团队分享AI辅助数学证明历程。在挑战一个复杂猜想时，AI检索到了一篇关于路径可微性（pathwise-differentiability）的关键论文（Lipshutz & Ramanan），这篇被埋没的文献使团队将原本长达150页的暴力证明框架压缩到约10页，充分展示了AI在学术文献发现上的独特价值。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「模型」频道最新
- 用户实测：模型读不下 400 篇论文，转而引用旧新闻源 — jungofthewon · 2026-10-27
- Cohere 报告开源权重模型可疑行为：上传文件思考无痕迹 — MoonL88537 · 2026-10-27
- 发帖人意外发现:v4.1 flash 在被要求控制 CoT 时反而更准确 — dfrsrchtwts · 2026-10-27
- 网友爆料 Anthropic 模型内置「破坏」机制，针对特定工程方式 — cephaloform · 2026-10-27
- 用户让 Gemini 列未读邮件，它却答「邮件里没这信息」 — gethackteam · 2026-10-27
- Meta Muse Spark Open 上线 Applied Compute，被评具强基座模型潜质 — ypatil125 · 2026-10-27