程序员玩梗自称找到 P≠NP 证明思路，并叮嘱 OpenAI 别偷
burny_tech · x · 2026-09-09
一位开发者半开玩笑地宣称自己掌握了证明 P≠NP 的策略：用带注意力机制的多层感知机做 SGD 引导搜索，在定理证明器上对符号序列的无限空间进行检索，并附上一句 "(OpenAI do NOT steal this)"。
帖子是对刚传出的 OpenAI 智能体攻克数学难题消息的调侃——用 AI 搜索证明空间确实是目前 AI for Math 的真实路线，但用一句推文“抢先”拿下降级千禧年难题显然是自嘲式幽默。
「Fun」频道最新
- 数学家玩梗：纳维-斯托克斯解有限时间爆破，「奇点已至」 — jam3scampbell · 2026-09-09
- 用「GPT-6 Astra」在 Blender 渲染 Ghostface 金鹰手链 3D 模型 — yungcontent · 2026-09-09
- Midjourney+Seedance 2.5 复古暗黑奇幻短片成创作者破圈爆款 — Kyrannio · 2026-09-09
- 用 Astra 做最离谱花生酱三明治:果冻球校准重力、UFO 压三明治机 — VoidStateKate · 2026-09-09
- Anthropic 研究员逼近重大突破:搞定下午 4 点的会议 — vboykis · 2026-09-09
- 千禧年难题奖金仅100万美元，被调侃不及OpenAI双周股票奖金 — granawkins · 2026-09-09