agi.pascalyim.comNavier–Stokes 流体
9月宣称已解决
Clay 状态：“Active”人工智能
迈向
通用人工智能
Pascal Yim
访谈 · LE POINT · 2026年9月5日
François Chollet
“总的来说，我认为人工智能很快就会在所有 可验证领域 ”
什么是可验证领域？
通过可靠的测试来检验答案。
示例：代码 运行测试。
预期： 5 · 实际： 5 ✓ 测试通过
验证结果取决于测试的覆盖范围。数学 迈向新规模
“至少 四个世纪以来，数学最深刻的变革 ”France Inter · 2026年10月8日
摘录引自 franceinfo
2026年10月 · OPENAI 内部模型
719 篇手稿372组研究成果 · 处于不同验证阶段
七大千禧年难题
每题奖金100万美元Riemann 素数
对 ζ 函数的部分进展
完整假设仍未解决Hodge 几何
特定情形的研究结果
一般猜想仍未解决P vs NPYang–MillsBirch–Swinnerton-DyerPoincaré ✓ Perelman
构建证明， 验证并理解它们。
Hinton 与 Hassabis
谈通用人工智能
Geoffrey Hinton
“There is a 10% to 20% chance that AI will wipe out humanity over the next 30 years.”
The Guardian ↗
Demis Hassabis
“If it’s done properly and responsibly, [AGI] will be the most beneficial technology ever invented.”
Time ↗