七大千禧年数学难题全部有进展，多个证明由 AI 实验室推动
haider1 · x · 2026-10-28
作者盘点了七个千禧年大奖难题的最新动态：P vs NP（ETH 被证伪、UGC 证明宣布）、黎曼猜想（拟 RH 已证明并形式化、排除 Landau–Siegel 零点）、Yang–Mills（存在性证明宣布并形式化）、Navier–Stokes（反例宣布并形式化）、Hodge 猜想（CM 型阿贝尔簇部分证明）、BSD 猜想（Selmer 余秩 0 和 1 的完整公式）、庞加莱猜想（Perelman 2003 年已解决）。
配图按厂商统计了这些声明（或部分声明）的归属，显示 OpenAI 与 Anthropic 各对应多项进展，暗示近期数学突破与 AI 实验室深度相关。多数声明尚未经同行评审，需谨慎看待。
「研究」频道最新
- DiscoTrace 获 EMNLP 最佳论文:LLM 答题策略缺乏人类式的社区多样性 — TuhinChakr · 2026-10-28
- arXiv 新论文提出世界模型表征的三问框架：可达性、准入与指派 — SoloGen · 2026-10-28
- OpenAI 发布内部前沿模型数学成果，Terence Tao 长文回应消化之道 — krisspy39 · 2026-10-28
- Divergence Labs 联手 Anthropic 用 Claude 发现食物过敏抗体疗法 — anshulkundaje · 2026-10-28
- kalomaze:用 RLVR 优化 NLL 也可算作 GOFAI — kalomaze · 2026-10-28
- 可判定命题可有渐近校准,ETH 与 P vs NP 仍难下注 — xuanalogue · 2026-10-28