宣称模型已证明 Yang–Mills 和 QCD?日期写在未来,明显恶搞
basedjensen · x · 2026-10-27
转发的引文宣称模型在 2026 年 9 月 9 日给出了 Yang–Mills 存在性的自然语言证明,9 月 18 日给出 QCD 证明,因篇幅与复杂度推迟发布,等待 Lean 形式化完成(称 10 月 16 日完成 Yang–Mills 形式化)。注意:这些日期在未来,且拼写为"mellimeum prize"(千禧年大奖谐音),明显是恶搞或虚假宣称,不可信。作者以"千禧年奖唾手可得"的口吻调侃。
「Fun」频道最新
- OpenAI CPO Weil：芯片『主要用来发邮件』的说法很快过时 — kevinweil · 2026-10-27
- OpenAI 联合创始人 Szegedy 押注黎曼猜想先于 P=NP 被攻克 — ChrSzegedy · 2026-10-27
- Levant 再度质疑 OpenAI 进展,被指「造成巨大伤害」 — basedjensen · 2026-10-27
- 奇点后仅存职业:旧金山房产中介,豪宅超底价千万成交 — Miles_Brundage · 2026-10-27
- 纽约街头对话:把芝麻街当成量化巨头 Jane Street 的山寨 — NathanpmYoung · 2026-10-27
- 复杂度理论新猜想：算法提速的代价是变丑 — Elijah_Meeks · 2026-10-27