那它就白用了群论、自监督理论了。
只能解数学题的不叫ai，那叫高级计算器。”
周瑾接过话头，语气认真了一些：“不过陈林问的这个角度其实挺有意思的。
小智现在的能力，解一般的数学题当然不在话下。
而且不止能计算，还能解出真正需要理解语义、建立关联、进行推理的问题。
陈林听得眼睛一亮，下意识地问：“那它现在能解什么级別的题？io的？”
刘浩然摇头：“no，no，no，io？那也太小儿科了。
小智现在的水平，这么说吧，你隨便给它一个发表在二区期刊上的数论论文里的未解决问题，它大概率能在几分钟內给出一个完整的证明思路。”
“真的假的？”
陈林明显不信，他可是亲身经歷过io地狱难度的人。
当年那道第六题，他坐在考场里整整瞪了一个小时，最后交卷的时候手心还全是汗。
现在刘浩然告诉他，这台机器几分钟就能搞定比io难得多的题目？
那他们过去日復一日、苦思冥想换来的成果，又算什么？
这不是对他智商赤裸裸的鄙视？
“不信你试试。”刘浩然耸了耸肩，“反正现在系统还在跑验证，閒著也是閒著。”
陈林点点头，打定主意要找一个难题试一试小智。
他低头想了好一会儿，突然眼睛一亮。
“对了！我前几天刷手机的时候看到一条新闻，说是什么ai解决了一个埃尔德什问题，还是陶哲轩的弟子搞的。
我当时没仔细看，就记住了埃尔德什问题这几个字，既然那些不如小智的ai模型都能解决，那小智肯定也能证明吧？”
👉&128073; 当前浏览器转码失败：请退出“阅读模式”显示完整内容，返回“原网页”。