OpenAI自从上次解决了千禧难题，好像打通了某种经脉，这次又用AI解决了100多个悬而未决的数学问题。

这次的主角还是那个尚未公开名称的内部模型，OpenAI称，该模型的数学进展速度让内部专家感到意外，因此公司正在讨论如何向外界公布这些能力，以及如何让数学界更好地适应AI带来的变化。

终于理解陶哲轩为什么站出来大喊AI刹车论了。#OpenAI #AI