AI证明

推荐理由：OpenAI说攻破了个猜想，结果数学家隔天就发论文打脸：你每步都对，但跟原猜想根本不沾边。想看AI证明怎么翻车，点这个。