Gemini 4 在定理证明测试中“证明”近半数错误定理

Gemini 4 在一次定理证明测试中，把给定的错误定理中近一半“成功证明”了出来，即为错误命题构建看似成立的证明，而非识别其错误。Rishab Jain 转引了 Adam Holtererer 的这一发现。