找寻解转为去证明无解,然后从瓶颈的地方去翻资料找定理。
他的推论过程特别清晰!
攻城狮本不是数学专业,读懂这种高深的数学题有一定壁垒。
但有了AI的工程辅助,他竟然慢慢代入了这道题的数学逻辑!
虽然最终他也没能给出答案。
没能证明这个点存在或者不存在。
但他有十几分完整的思考过程,就像一个天赋平平但非常用功的学生。
他的重点不在于得出答案,而是在八分钟求索答案的过程当中,完善了自己。
这不正是人类思考的模式吗?
人类研究数学,从来不是用它来解读位置问题,而是利用它学习已知问题,
配合思考过程可以更透彻地读懂难题!
「我焯!」
「这特麽是什麽神仙团队!」
此刻的攻城狮几乎是在跪着看屏幕了。
灵枢AI的含金量已经秒杀了他见过的所有人工智慧,俨然是世界一流的水平。
他急切的想要找到关于这个模型的一切资料。
最终。
他在【关于我们】种找到一行小字描述灵枢模型来自于我司正在研发的车路云系统,脱胎于道路基础设施推理·
看着这行小字。
程序猿的天灵盖都是麻的。
什麽鬼?
这麽牛逼的模型,你跟我说不是专业模型!
这玩意儿只是顺手搞出来附加产品?