OpenAI公布AI在数学、计算机科学和物理学领域的三项科学成果
OpenAI官方于10月26日宣布其AI模型在数学、计算机科学和物理学领域取得三项重要成果。数学方面给出局部光滑性猜想的完整证明，并解决所有维度下的Kakeya猜想和Stein限制猜想；计算机科学方面证明了指数时间假设不成立，结果已在Lean形式化验证中确认；物理学方面为量子色动力学及标准模型完备理论给出严格存在性证明。
推荐理由：原文汇总了三项成果的具体猜想与验证方式，可据此了解AI在形式化数学证明中的实际进展。
#OpenAI
品玩精选AI 评分7777 The Decoder精选AI 评分7878 OpenAI 发布 GPT-6.1 Terra，API 价格减半并缩小与更大模型的差距
OpenAI 发布 GPT-6.1 Terra，API 价格为 GPT-5.6 Terra 的一半，输入 $1/百万 token、输出 $5，缓存输入降至 $0.05。
推荐理由：文章汇总了价格、多项基准和安全数据，读者可据此比较 GPT-6.1 Terra 与 Sonnet 及上代模型的真实性价比。
已经到底了