前几天OpenAI官宣声称解决了纳维-斯托克斯方程问题，最近又有传闻AI解决了霍奇猜想，这两个都是千禧年七大数学难题，解决这七个问题中的任何一个，都最低成就是菲尔兹奖，比今年获菲尔兹奖的王虹、邓煜的问题含金量要高的多。

这七个难题目前仅仅解决了一个庞加莱猜想，是传奇的数学家佩雷尔曼解决的（但是这个大神拒绝领奖），这个人非常传奇有意思，不领奖，论文上传到arxiv上，而不是发表到顶级期刊上，而且后来就销声匿迹了。

如果上述两个问题真的被AI解决了，后面会不会发展成佩雷尔曼是唯一解决千禧年七大数学难题的人类呢？

AI的能力上限一直被刷新，也许真的AGI（Artificial General Intelligence）不是终点，ASI（Artificial Superintelligence）才是。

有没有对数学感兴趣的知道这七大难题中最重要的是哪个？