#陶哲轩带头宣战OpenAI# 之前就呼吁放缓节奏没有得到重视，OpenAI继续放出大量机器证明，矛盾一下子彻底爆发了 #人类数学家联合抵制OpenAI##请回答1988# ​