整数分解复杂度纪录获 Lean 形式化验证
basedjensen · x · 2026-10-31
据 @bigospeedrun 转发的记录公告，整数分解（Integer Factoring）问题的算法复杂度纪录被刷新并已通过 Lean 形式化验证（Status: Lean Verified），对应复杂度为 N^o(1)，由 Isaac Rudich 与 Louis-Martin Rousseau 完成。整数分解是密码学（如 RSA）安全性的核心假设，复杂度纪录的严格机器验证让这一结果具备高度可信度。
「研究」频道最新
- 在 Qwen 4B 里定位「爱因斯坦神经元」并引导三种人格回答 — thursdai_pod · 2026-10-31
- Turing TTS 新评测：最好 TTS 模型仅 10% 听众误认为真人 — omarsar0 · 2026-10-31
- 架构消融实测：2020 年后最有用的改进是细粒度 MoE — stochasticchasm · 2026-10-31
- LeCun 将在 MAIN2026 发表主题演讲:AI 为何需要学会理解世界 — karimjerbineuro · 2026-10-31
- Genentech 团队发布 Nona 框架,混合多模态模型或更适合基因组调控优化 — anshulkundaje · 2026-10-31
- 在 H100 上复测 torch.profiler 系列:结论与 A100 差异超预期 — ariG23498 · 2026-10-31