AI一夜解出372个数学难题，其中有她研究了一辈子的那个

“妈妈，我听说你被cooked了！我听说一个机器人把你研究了一辈子的数学问题给解决了！OOF！”

这句话，来自Scott Aaronson家9岁的儿子，嘲讽对象是妈妈Dana Moshkovitz，一位复杂性理论家。

孩子嘴欠，但真没冤枉人。

昨天，OpenAI放出了一批数学成果，372个，每一项都够一个学者吹一辈子。而其中一个，恰好就是Dana整个职业生涯都在攻的Unique Games Conjecture（UGC）。

这大概是数学史上最大规模的一次“被端”现场。

一夜之间，数学界被AI“天启”了

这次发布，OpenAI有备而来。顾问团里坐着Timothy Gowers、Edward Witten这种档次的数学家。

UGC的证明只是372个结果中的一个。这个猜想简单说就是：一堆优化问题，

参考链接：
https://scottaaronson.blog/?p=10169