OpenAI耗时88小时跑通千禧难题纳维-斯托克斯方程的形式化证明，25位菲尔兹奖得主联名发布声明抵制，核心矛盾并非AI取代人类，而是AI公司目标与数学界公共目标错位，以及不可再生数学资源被无序开采的隐忧。
