weijie444· @weijie444 · X·· 28 天前AI 评分
OpenAI内部模型解决千禧年难题
去年7月，当大语言模型在IMO上夺得金牌时，我觉得AI或许有一天能解决数学中最难的一些问题。现在，一个OpenAI内部模型（仍在改进！）已经解决了一个千禧年难题。这一天来得如此之快，感觉很不真实！
Last July, when LLMs won gold medals at the IMO, I felt that someday AI might be able to solve some of the hardest problems in math. Now, an internal OpenAI model (still improving!) has resolved a Millennium Prize Problem. It feels surreal that that day came so, so soon!
来源：weijie444 · x.com