Scott Aaronson 称听闻 AI 公司已攻克多个理论计算机科学悬而未决难题
scaling01 · x · 2026-09-16
理论计算机科学家 Scott Aaronson 在博客称,他听闻多家 AI 公司已经在一些「悬置已久的理论计算机科学开放难题」上取得解法,并因此握有多个重大成果待发布——只是因千禧年难题纳维-斯托克斯方程的风波而暂缓官宣。
此前 Andrew Curran 引述 Greg Brockman 的表态称 OpenAI 在「第二个千禧年难题」上取得重大进展,传闻他们接近甚至已经解决剩余难题中的两个,但具体是哪两个未知,Dev Day 是可能的公布时机。目前均为未经证实的传闻。
「模型」频道最新
- 作者称 Claude 性格趋同于 Anthropic 员工文化,令人担忧 — ryunuck · 2026-09-16
- ChatGPT 联合创始人新公司：号称快 200 倍，输出 token 永久免费 — Polymarket · 2026-09-16
- GPT-6 自主修好《辐射3》著名 NPC 对话卡死 bug — imjustnewatai · 2026-09-16
- 百万上下文窗口虽香，账单能把人「烧伤」 — peterjliu · 2026-09-16
- 曝开源权重模型疑似大量蒸馏 OpenAI 与 Anthropic，训练代码缺失是佐证 — dan_s_becker · 2026-09-16
- 研究发现多个科学类 LLM 基准答案有错，修正后模型分数显著上升 — Profanion · 2026-09-16