OpenAI 称其模型否定指数时间假设，这意味着什么
OpenAI 公布三道长期难题的解答，其中之一否定了计算机科学中的指数时间假设（ETH）；Anthropic 数学家 Levent Alpöge 认为 OpenAI 的解答基于既有工作，学界反应兴奋与不满并存。
推理能力
全部主题模型推理能力的进展：思维链、推理模型、数学与逻辑基准的突破与争议。
最新精选
第 1–6 条 · 共 6 条TechCrunch · AIAI 评分6969
The DecoderAI 评分6363 OpenAI 请诺奖得主等外部专家核查其 AI 生成的证明
OpenAI 请外部专家担任数学、计算机科学和物理成果的“牧羊人”，并把数学与计算机证明翻译成 Lean 形式化；计算机成果涉及否定指数时间假设（ETH），若成立将推翻计算机科学的一项核心假设。
The Verge · AIAI 评分6464 OpenAI 宣布三项科学发现并改变与学界合作方式
在一次性发布数百篇数学稿件不到一个月后，OpenAI 再公布数学、计算机科学和物理三项“重大”发现，这次在计算机和物理成果上请外部专家担任“牧羊人”指导结果发布，数学问题则听从建议采取不同处理。
OpenAI News精选AI 评分7171 OpenAI 公布 Kakeya 猜想、ETH 与量子色动力学成果并开放学界验证
OpenAI 公布其模型在 Kakeya 猜想、指数时间假设（ETH）和量子色动力学上的成果，并说明研究者可以如何验证和在此基础上继续研究。
推荐理由：官方一手说明三项成果及验证途径，是判断这批 AI 科研结论可信度的起点。
Microsoft Research精选AI 评分6666 微软研究员借助人类主导的 AI 解决 31 年未解的 KLS 猜想
微软研究员与合作者结合新的数学思路与人类主导的 AI，解决了高维几何与概率中的核心难题 Kannan-Lovász-Simonovits（KLS）猜想，该问题已悬而未决 31 年。
推荐理由：这是 AI 辅助解决长期公认核心数学难题的一手案例，且明确了人类主导的协作方式。
Google DeepMind精选AI 评分8181 Google DeepMind 发布前沿模型 Gemini 4 Argon
Google DeepMind 向开发者、企业、科学家和消费者开放最新前沿模型 Gemini 4 Argon，主打复杂工程任务、专业工作流和科研加速，同时介绍了负责任开发措施。
推荐理由：Google 新一代旗舰模型的一手发布稿，同时覆盖开发者与消费者入口。