| 移动网页

搜索关键词 2000美元

AI & Enterprise

OpenAI内部模型Astra解出10个多年未决难题并公开可机器验证的形式化证明

OpenAI表示，旗下尚未公开的内部模型Astra已在数学、量子复杂性和理论计算机科学领域，针对10个悬而未决至少10年的问题给出新结果，并同步公开可机器验证的形式化证明。公司已在GitHub以Apache 2.0许可证开源249页论文草稿、模型推理过程及基于Lean 4的证明证书。不过，这些结果仍需学界进一步核验其是否准确对应原本的未决问题，以及其学术价值和影响。