陶哲轩转发抵制声明，数学界和OpenAI彻底撕破脸

2026.10.09 · 事件 · AI事件 · 媒体报道

人类数学协会呼吁抵制OpenAI，陶哲轩仅转载却被误传为领衔发起人

人类数学协会就OpenAI一次性发布700多份数学成果发声明，呼吁数学家停止与OpenAI合作。陶哲轩在个人博客转载该声明，被网友误传为领衔发起，但他并不在该协会会员名单中。OpenAI承认并非所有论文都采用Lean形式化方法，部分未形式化结果可能存在问题。