陶哲轩专访：数学不应被AI掠夺式开采，呼吁数学界自建开放AI基础设施

《新科学家》专访菲尔兹奖得主陶哲轩，他批评OpenAI抢在数学家之前宣布纳维—斯托克斯猜想一个版本的AI证明，称其为自动化掠夺式开采，100页证明几乎未带来数学洞见，一位同事借助AI钻研数日也只能解释一半。