RecodeX 重构消息，数学家陶哲轩对OpenAI提出质疑，指出其产出的719篇AI数学证明引发一个核心问题：人类是否真正理解了这些证明。他关注的重点并非AI能否生成证明，而是这些结果能否被人类数学界消化与验证。