论文研究精选
OpenAI Astra 以约2000美元证明10项数学难题
原始标题:ten significant advances in mathematics and theoretical computer science. solved using an internal ...
内容摘要
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。
内容分类AI 论文与研究
内容层级精选情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源X:Greg Brockman (@gdb)
站内情报编号intel-41c8703f6810680ce0d8945e