跳到正文

#OpenAI

今日 0 条
9月23日周三
9月16日周三
9月8日周二
  1. OpenAI News76

    OpenAI 提出纳维-斯托克斯千禧年大奖难题的 AI 解答与 Lean 形式化证明

    OpenAI 分享了由 AI 生成的纳维-斯托克斯千禧年大奖难题解决方案。该成果包含完整的技术说明报告,以及使用交互式定理证明工具 Lean 编写的形式化数学证明。

    推荐理由:文中给出了 AI 求解千禧年数学难题的研究报告及 Lean 形式化证明,读者可据此查验机器在数学定理证明中的实际表现。

9月7日周一
8月12日周三
  1. Google Research66

    Google Research 提出知识画像框架:大模型事实性瓶颈在于检索而非编码

    Google Research 提出知识画像框架与 WikiProfile 基准,指出前沿大语言模型的事实性瓶颈已从知识编码转向知识检索。评测显示 Gemini-3-Pro 与 GPT-5 等前沿模型已编码 95%–98% 的事实,但仍有 26%–34% 的事实无法直接检索。开启思考机制能够找回 40%–65% 已编码却无法直接检索的事实,显著缓解长尾事实检索困难与反向诅咒现象。

    推荐理由:原文通过实验证明前沿模型的事实错误主要源于检索障碍而非参数缺失,为利用思考机制和后训练改善知识调用提供了新视角。

7月27日周一
6月22日周一