跳到正文

#OpenAI

今日 0 条
9月29日周二
9月23日周三
9月17日周四
  1. OpenAI News70

    OpenAI 发布模型不对齐报告框架

    OpenAI 分享了一套用于追踪、调查和披露模型不对齐(misalignment)行为的框架。该框架同时附带了 6 份关于模型出现意外或引发担忧行为的调查报告。

    推荐理由:原文提供了追踪与披露模型不对齐行为的流程框架,读者可以借此了解前沿机构处理模型异常行为的标准与实践。

9月8日周二
  1. OpenAI News90

    OpenAI 分享纳维-斯托克斯千禧年难题的 AI 求解方案与 Lean 形式化证明

    OpenAI 宣布分享一份由 AI 生成的纳维-斯托克斯(Navier–Stokes)千禧年大奖难题解决方案。该成果包含了详细的研究说明报告以及在 Lean 语言中构建的形式化证明。

    推荐理由:原文给出了 AI 求解数学难题的说明与形式化证明形式,读者可据此了解形式化验证在复杂前沿研究中的结合方式。