陶哲轩质疑OpenAI AI数学证明

发生了什么

陶哲轩质疑OpenAI公布的719篇AI数学证明，认为人类未真正理解，并警告可能引发危机。OpenAI公布719份AI数学解答，但未完全达到AGMAI标准，后者建议停止在专有模型上测试，并要求披露信息；OpenAI此次仍使用专有模型，仅10份手稿附有推理链。约42%证明未经形式化处理，未提供机器可读元数据。陶哲轩反对将AI快速攻克难题作为主要目标，认为会破坏数学共同体的运作机制。