研究员称用前沿 LLM 攻克 P=NP 三十年未果,反而首次相信 P≠NP
csuwildcat · x · 2026-10-28
一位自述曾花数年将 SHA-256 构建为布尔电路、并尝试各种数学与密码学技术做原像攻击的研究者表示,他把 30 年积累的 P=NP 证明思路全部丢给前沿 LLM 尝试。
结果是 LLM 逐条「彻底且令人信服地驳倒」了他几十年来想出的每一行推理和技巧,这让他第一次开始相信 P≠NP。这是一则关于 LLM 作为数学论证检验工具能力的罕见一手证言。
「Fun」频道最新
- 博主怒批 OpenAI:天天发 reset 公告像小丑,模型又慢又降智 — lxfater · 2026-10-28
- 科研两阶段:我以为有发现了,然后「哦不」 — NC_Renic · 2026-10-28
- AI 复古专辑封面又出爆款:1973 年版 Korn 风格图 — techhalla · 2026-10-28
- Google DeepMind 科学家晒履历:AI 特效已进入 F1、《异形:夺命舰》等大片 — TomLikesRobots · 2026-10-28
- 特斯拉万圣节彩蛋更新：路面车辆变幽灵、垃圾桶长眼睛、转向灯像谷仓猫头鹰 — BWay124 · 2026-10-28
- 「Larplace's demon」维基条目爆红:讽刺 AI slop 的恶搞梗文 — wavefnx · 2026-10-28