weijie444· @weijie444 · X·· 28 天前AI 评分
OpenAI内部模型解决千禧年难题
去年7月，当大语言模型在IMO上夺得金牌时，我觉得AI或许有一天能解决数学中最难的一些问题。现在，一个OpenAI内部模型（仍在改进！）已经解决了一个千禧年难题。这一天来得如此之快，感觉很不真实！
去年七月，当大语言模型在国际数学奥林匹克（IMO）上摘得金牌时，我就觉得，总有一天 AI 或许能够解决数学中最难的一些问题。而现在，OpenAI 的一个内部模型（仍在持续改进！）已经解决了一个千禧年大奖难题。这一天来得如此、如此之快，感觉太不真实了！
来源：weijie444 · x.com