AI 攻克数学优化:LongTails 发布 25+ 新结果,证明全部通过 Lean 4 验证
IgorCarron · x · 2026-11-05
Ivan Oseledets 团队(Alexander Tyurin 主导)发布 LongTails 项目:AI for Science 在数学优化方向的产出,包含 25+ 条新优化结果,其中对若干已知复杂度上界有重大改进。
所有证明均在 Lean 4 形式化验证系统中通过验证,项目网站与 GitHub 仓库已公开。Igor Carron 转发并感叹其中部分常数「疯狂」。
「研究」频道最新
- 研究者提新视角：把深层 Transformer 看作神经 ODE 做谱分析 — PTenigma · 2026-11-05
- 研究新发现：从最终 checkpoint 减去 SFT 权重可撤销数据集影响 — burny_tech · 2026-11-05
- 容器内存配置左右 Agent 评测：同一 Claude 跑分差 6 个百分点 — krishnan · 2026-11-05
- 94,000 张脑扫描：史上最大功能 MRI 研究聚焦八种精神疾病 — PTenigma · 2026-11-05
- USC 团队提出 Zeta 律：用黎曼 ζ 函数预测多少数据才够做出科学发现 — PTenigma · 2026-11-05
- 斯坦福团队提出带提示的联合缩放律,用1/5600算力预测GSM8K精度 — stanfordnlp · 2026-11-05