传多个千禧年大奖难题或被 AI 攻克,细节尚未证实
socoolandawesome · reddit · 2026-09-10
Reddit 帖子转引一条 X 上的说法,称多个千禧年大奖难题「可能已被解决」,但帖子本身只有链接,未提供证明内容、作者身份或验证信息,可信度与细节均待确认。
所属事件:传闻：OpenAI 逼近 Hodge 与 BSD 猜想，千禧难题或被连破(27 条相关)→
「研究」频道最新
- 「氛围验证」研究：近 60% 的形式化证明证明的不是作者本意 — basedjensen · 2026-10-26
- 浏览器助手 Ito 读懂浏览意图，自动把标签页编排成 Flows — andrewkuznet · 2026-10-26
- 康奈尔研究称大脑按线性序列处理语言,挑战乔姆斯基层级语法;印度语言成反例讨论点 — anirbanbandyo · 2026-10-26
- Hi3D V1.0 开源发布：训练资产翻四倍，切片成功率 90% — kimmonismus · 2026-10-26
- Ortet 首次健康评测：34 个开源模型跑 50 项任务，综合排名不够用 — elmanmansimov · 2026-10-26
- HackBench 发布：向 Agent 轨迹注入作弊，压力测试监控器 — DanielKhashabi · 2026-10-26