数学家反驳OpenAI猜想反例

人类论文回应称AI提出的反例虽局部正确，但并未真正针对原猜想。

推荐理由：这揭示AI数学验证的关键短板：逐句正确不等于问题形式化正确；模型可能在定义漂移后证明无关命题，评测需关注命题对齐。