不到一小时证明50年猜想
soumitrashukla9 · x · 2026-07-11
转推在调侃一条“至少花 8 小时再考虑放弃”的建议：GPT-5.6 Sol Ultra 被引用称在 不到 1 小时 内就证明了一个 50 年历史的 Cycle Double Cover Conjecture。
引用内容还说，这次是用 64 个子智能体 完成的，并附带了 prompt 和证明，作者显然是在借结果制造反差梗。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「Fun」频道最新
- 「把末日论者全赶出 AI 公司」,mark_k 引发安全派论战 — mark_k · 2026-09-11
- a16z 合伙人呼吁国有化前沿 AI？作者道歉：可能被钓鱼了 — S_OhEigeartaigh · 2026-09-11
- Linus 并不用 GitHub 写内核：绿格子其实来自邮件列表工作流 — _jaydeepkarale · 2026-09-11
- AI 五年改变世界,Google Docs 却仍把「compute」当名词标错 — ohlennart · 2026-09-11
- AI 智能体协作优化 secp256k1 量子电路,挑战打破 ECDSA — StefanoGogioso · 2026-09-11
- 网友上线「求 AI 别杀我」注册网站,黑色幽默拉满 — motionbynick · 2026-09-11