OpenAI 也在使用他们的新内部模型尝试解决黎曼假设和P versus NP，以及一些未命名的'高影响问题'。
摘要
OpenAI 正在使用一个新的内部AI模型尝试解决像黎曼假设和P versus NP这样的重大数学问题，以及其他高影响问题。
OpenAI 也在使用他们的新内部模型尝试解决黎曼假设和P versus NP，以及一些未命名的'高影响问题'。 https://x.com/AndrewCurran_/status/2098197758872289638 我希望他们能将花在这些数学问题上的数亿美元用于实验室工作和医疗研究。
相似文章
OpenAI的模型能够解决众多其他数学问题
OpenAI的AI模型已展示了解决大量数学问题的能力，且预计将持续改进。
@OpenAI: 我们下一个主要模型的内部版本在数学和理论计算机科学的长期开放问题上产生了10项新成果……
OpenAI 的内部下一代主要模型在数学和理论计算机科学的长期开放问题上产生了10项新成果，按 GPT-5.6 Sol API 价格计算，使用了价值约 2,000 美元的 token。
OpenAI 内部模型数学基准测试
OpenAI 公布了其内部的 AI 模型数学基准测试，这可能会影响数学领域的模型评估标准。
OpenAI 未发布模型 Astra 解决十大开放数学难题（34分钟阅读）
OpenAI 未发布的模型 Astra 据称解决了十大开放数学难题，结果已通过 Lean 证书形式化验证，标志着 AI 数学推理能力的重大飞跃。
🚨 AI可能正在进入一个全新的阶段。
据报道，OpenAI训练了一个新的AI模型，该模型已解决了超过100个长期存在的开放数学问题，导致成立了一个咨询小组来评估和协调这些结果的发布。