全部动态

AI 相关资讯全量信息流 · 5084 条
9月25日
论文Agent 与开发者多源确认09:54
OpenAI 万级智能体 88 小时证明 Navier-Stokes 有限时间爆破,essay 探讨无人能读的证明意味着什么

OpenAI 的一万个智能体 88 小时写完 166 页 Navier-Stokes 证明,还用 61.6 万行 Lean 验证了,但没人读过全文。这篇 essay 探讨数学界该不该接受这种证明,观点挺有意思。

事件专题
arXiv: OpenAI@Alexander Gamburd11 个信源在谈原文
论文Agent 与开发者多源确认09:52
研究:AI 编程智能体的合并 PR 更常需要修复,且七成修复由智能体自己完成

这篇论文统计了 Codex、Copilot、Devin 等五个智能体的 6774 个 PR,发现它们合并后更容易出问题,但大多自己悄悄修好了,数据挺有意思。

事件专题
arXiv: OpenAI@Wannita Takerngsaksiri 等 3 人11 个信源在谈原文

仅展示最近 2000 条内容,更早的内容请查阅 AI 日报存档