AI 24天解出100多个数学难题，OpenAI却先请了9位数学家来把关

9月22日，OpenAI宣布在普林斯顿高等研究院成立一个"数学与AI顾问组"，九位数学家组成，独立运作。同一条消息里还披露：8月28日开始训练的一个模型，24天里在数学多个领域解出了100多个长期没解开的难题，其中包括纳维-斯托克斯方程这个千年大奖难题。

一边说AI能做数学，一边先请数学家来当裁判，这个顺序挺有意思。数学向来是最难糊弄的领域，对就是对，错就是错，骗不过同行。可AI给出的证明往往又长又绕，普通人根本读不懂，能判断真假的只有极少数人。

我的看法是，OpenAI请这个顾问组，与其说是向学界致敬，不如说是提前买一份"可信度"。把模型跑出结果不难，难的是让人类共同体承认这个结果。AI越强，这道评判的关口反而越贵。

问题来了：以后的数学难题，是等AI给出答案，还是等数学家点头？