AI圈报
论文研究精选

OpenAI Astra 以约2000美元证明10项数学难题

信息来源:X:Greg Brockman (@gdb)·
原始标题: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