这种外行也能听明白的？”

    他说完还补了一句：“比如……能不能拿来解数学题？”

    这句话一出口，刘浩然就笑了。

    “解数学题？你这也太看不起小智了吧。

    小智要是只能解数学题，那它就白用了群论、自监督理论了。

    只能解数学题的不叫AI，那叫高级计算器。”

    周瑾接过话头，语气认真了一些：“不过陈林问的这个角度其实挺有意思的。

    小智现在的能力，解一般的数学题当然不在话下。

    而且不止能计算，还能解出真正需要理解语义、创建关联、进行推理的问题。

    陈林听得眼睛一亮，下意识地问：“那它现在能解什么级别的题？IMO的？”

    刘浩然摇头：“NO，NO，NO，IMO？那也太小儿科了。

    小智现在的水平，这么说吧，你随便给它一个发表在二区期刊上的数论论文里的未解决问题，它大概率能在几分钟内给出一个完整的证明思路。”

    “真的假的？”

    陈林明显不信，他可是亲身经历过IMO地狱难度的人。

    当年那道第六题，他坐在考场里整整瞪了一个小时，最后交卷的时候手心还全是汗。

    现在刘浩然告诉他，这台机器几分钟就能搞定比IMO难得多的题目？

    那他们过去日复一日、苦思冥想换来的成果，又算什么？

    这不是对他智商赤裸裸的鄙视？

    “不信你试试。”刘浩然耸了耸肩，“反正现在系统还在跑验证，闲着也是闲着。”

    陈林点点头，打定主意要找一个难题试一试小智。

    他低头想了好一会儿，突然眼睛一亮。

    “对了！我前几天刷手机的时候看到一条新闻，说是什么AI解决了一个埃尔德什问题，还是陶哲轩的弟子搞的。

    我当时没仔细看，就记住了埃尔德什问题这几个字，既然那些不如小智的AI模型都能解决，那小智肯定也能证明吧？”