实体
theoretical computer science
theoretical computer science
PulseAugur coverage of theoretical computer science — every cluster mentioning theoretical computer science across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
OpenAI 的 Astra 模型解决了 10 个重大的数学问题，引发了辩论
OpenAI 披露了其未发布的模型 Astra 的详细信息，该模型已成功解决了数学和理论计算机科学中的十个重大的开放性问题。这些突破，以大约 2000 美元的 Sol API 费率的 token 成本实现，包括在球体打包、群论和复杂性理论等领域的进展，并已在 Lean 中形式化证明。虽然一些专家称赞这是科学推理的重大飞跃，并可能开启科学革命的开端，但其他人则警告不要夸大其影响，并强调在形式数学上的成功并不自动转化为通用智能或跨所有领域的可靠性。
-
OpenAI 的 Astra 模型以低于 2,000 美元的价格实现了 10 项数学突破
OpenAI 宣布，使用名为 Astra 的内部模型在数学和理论计算机科学领域取得了十项重大进展。这些突破解决了诸如几何、密码学和复杂性等领域的长期悬而未决的问题。该公司强调了这一过程的效率，并指出该研究的 API 费用不到 2,000 美元，与以往 AI 在数学方面的能力形成鲜明对比。OpenAI 已在 GitHub 上提供了 Lean 4 的形式化证明，以确保透明度和可验证性。