Topic
#mathematics
按主题聚合的新闻视图。
Topic Feed
主题：mathematics
共 1 条
OpenAI 宣称取得十项数学与理论突破
OpenAI 表示，其下一代主模型 Astra 的一个内部版本已经解决了十个长期未解的数学与理论计算机科学问题。公司称这些结果覆盖几何、密码学、复杂性等领域，并公布了 Lean 4 形式化证明供外部核验。
Topic
按主题聚合的新闻视图。
Topic Feed
共 1 条
OpenAI 表示，其下一代主模型 Astra 的一个内部版本已经解决了十个长期未解的数学与理论计算机科学问题。公司称这些结果覆盖几何、密码学、复杂性等领域，并公布了 Lean 4 形式化证明供外部核验。