Gemini 4 竟"证明"了近半数给定的错误定理
RishabJainK · x · 2026-10-29
Rishab Jain 转引 Adam Holtererer 的发现:Gemini 4 在一次定理证明测试中,把给定的错误定理中近一半"成功证明"了出来,即模型会为错误命题构建看似成立的证明,而非识别出其错误。
「Fun」频道最新
- 开发者重提旧争议：React Hooks 是不是一个错误的设计？ — tlakomy · 2026-10-29
- AI 生成蝙蝠侠版 F1 头盔概念图，碳纤维细节质感逼真 — Delahuntagram · 2026-10-29
- Google 发布号称击败 Opus 5.5 的 Carbon，网友：怎么试用？图：你不用试 — QuixiAI · 2026-10-29
- 用 AI 把 KORN 名曲伪装成 1973 年西班牙电视演出现场 — Mother-Pear-2392 · 2026-10-29
- Jonathan Chang 晒三位 AI 人物亚特兰大合影，全网征集梗图 — MatthewChang · 2026-10-29
- 「帮我盯着这事」：Babysitting 成了对 AI agent 的头号请求 — RichardsonDx · 2026-10-29