AI攻克世纪数学难题，顶尖数学家抱团抵制，而他们担心的并不是丢了工作