陶哲轩质疑OpenAI AI数学证明透明度

数学家陶哲轩批评OpenAI发布的719份AI生成的数学证明缺乏透明度与可理解性，担忧这会破坏数学共同体的合作与教学机制。 陶哲轩指出，这批证明中约42%未经形式化处理，缺乏机器可读元数据，且仅10份附有推理链，导致数学家难以审查和学习。 他称AI将开放问题当作可批量消耗的资源，造成了‘证明消化不良’，可能损害数学领域的理解与合作。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。