AI的发现人类终将理解不了OpenAI 用 88 小时碰了一个 90 年没人解开的方程。转头 25 位菲尔兹奖得主联名发文章，就一句，慢点，等等我们看懂。
以前再难的证明，绕远路也能一步步讲给人听。现在能跑出 1300 万行的证明，机器看得懂，人看不动。这东西以后只会越来越多吧。
AI的发现人类终将理解不了OpenAI 用 88 小时碰了一个 90 年没人解开的方程。转头 25 位菲尔兹奖得主联名发文章，就一句，慢点，等等我们看懂。
以前再难的证明，绕远路也能一步步讲给人听。现在能跑出 1300 万行的证明，机器看得懂，人看不动。这东西以后只会越来越多吧。
