社区将 OpenAI 整数乘法结果收紧至 κ = 2⁻¹⁵Mollick 称触发快速协作迭代
OpenAI 此前发布的数学证明在社区手中继续快速改进。问题 #109(整数乘法)的常数 κ 被多轮收紧:0xdoug 推进到 κ = 2⁻³⁴,dysmemic 推进到 2⁻³¹,Swapnil Jain 第五轮达到 κ > 2⁻¹⁶,并称装配与矩证书已在 Lean(形式化证明助手)内核中完成检查。随后 0xdoug 合并 Rohan 的 PR,达到 κ = 2⁻¹⁵,较 OpenAI 原始结果 κ = 2⁻¹⁸² 改进 2¹⁶⁷ 倍,称结果是多位贡献者技术组合的产物,正尽快验证发布以让所有人站在前沿。0xdoug
Boris Power(OpenAI)称,这些问题由一款「希望很快发布」的模型解决,计算预算与时间(约 3 小时)控制在消费级订阅范围内,并预计开放交互使用后会有更多发现。Boris Power Shiva Kintali 发布了一份 21 页的拟黎曼假设(Quasi-Riemann Hypothesis)简短证明,取 c=1/48,自称自洽、可在一节课内讲完。Shiva Kintali 另一方面,Elliot Glazer 称让 Astra(OpenAI 模型)检查 OpenAI 未形式化的论文「Algebraicity of Weil classes on split abelian eightfolds」后发现缺陷,称「令人担忧」。Elliot Glazer 据 TechCrunch 报道,OpenAI 此次集中发布证明,偏离了其此前咨询的数学研究者小组设定的规范。