@polynoamial：OpenAI 下一代主要模型家族 Astra 的内部版本解决了数学、量子……领域的 10 个重大开放问题

X AI KOLs Following 模型
openai astra mathematics scientific-reasoning research breakthrough

摘要

据报道，OpenAI 下一代主要模型家族 Astra 的内部版本解决了数学和理论计算机科学领域的 10 个重大开放问题，标志着科学推理领域的重大进展。

Astra（OpenAI 下一代主要模型家族）的一个内部版本解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题。我们相信这将是科学推理领域的一大进步。https://openai.com/index/ten-advances-in-mathematics/…
查看原文
查看缓存全文

缓存时间: 2026/08/03 11:41

OpenAI的下一代主要模型系列Astra的一个内部版本，解决了数学、量子复杂性和理论计算机科学中的10个重大开放问题。我们相信这将是科学推理的一大步。https://openai.com/index/ten-advances-in-mathematics/…

数学与理论计算机科学的十项进展

来源：https://openai.com/index/ten-advances-in-mathematics/ OpenAI

  • 研究结果 (https://openai.com/index/ten-advances-in-mathematics/#the-results)
  • 对数学界的责任 (https://openai.com/index/ten-advances-in-mathematics/#responsibility-to-the-mathematical-community)

我们希望用能够加速发现的工具赋能科学家和数学家。正因如此，我们最近发布了面向学术研究者的ChatGPT，这一计划为100,000名科学家和数学家免费提供我们最好的ChatGPT模型。我们还会在开发过程中持续评估我们的模型在开放研究问题上的表现。

五月份，我们分享了一个AI生成的反例，用于反驳Erdős单位距离猜想，这是在评估一个未发布模型时发现的。这项工作已经激发了数学和理论计算机科学的进一步进展1。今天，我们分享十项结果，每一项都解决或实质性推进了一个长期存在的开放问题。这些问题涵盖高维几何、编码理论、算术电路复杂度、群论、算子代数、量子复杂性、

相似文章

@typesfast：我们会得到什么？

X AI KOLs Following

Noam Brown 声称 OpenAI 的内部 Astra 模型解决了数学、量子复杂性和理论计算机科学领域的 10 个重大开放问题，这可能标志着科学推理的一大步。