社区 LLM 自动科研 24 小时将整数乘法纪录提升 69%
RexDouglass · x · 2026-10-12
一个基于 LLM 与 Lean 形式化验证的「社区自动科研」实验引发关注:整数乘法复杂度研究的社区协作在 24 小时内将结果从 κ=2⁻¹⁸² 提升到 0.001289283116,增幅 +69.13%。
- 发起公开征集后,多位专家提交了全新设计;@mrowdays 贡献了大部分极限提升,并引入 Sussman 的 E8 几何结构(八维对称格)供复数侧与比特侧贡献者共同使用
- 观察者总结这种「新型学术形态」的特征:任何有多余 LLM 额度的人都能参与、Lean 取代同行评审、匿名群聊组织协作、节奏更快但增量更小、对 Agent 的可读性高于对人类的可读性
所属事件:社区加AI自动科研24小时提升整数乘法纪录69%(5 条相关)→
「漫话AGI」频道最新
- 纳德拉安全论获挺:智识 supply 与权限分离,把模型当内部威胁管 — RealGeneKim · 2026-10-12
- AI 研究者 Gaël Varoquaux 整理系列博客:研究者视角看 AI 的社会问题 — GaelVaroquaux · 2026-10-12
- OpenAI 连解数学难题，研究者称看到自己的思路被「抄袭」 — GaelVaroquaux · 2026-10-12
- Varoquaux 发问：AI 的数学天才中有多少是「抄袭」？ — GaelVaroquaux · 2026-10-12
- Anthropic 首席经济学家做客哈佛,与 Furman 对谈 AI 对就业与不平等的影响 — HarrySurden · 2026-10-12
- AI 伦理学者 Luiza Jarovsky：对超级智能谈「对齐」可能是个伪命题 — LuizaJarovsky · 2026-10-12