即便是林浩，先前宋兴维找他证明这哥德巴赫猜想的时候，林浩也是拒绝了。

那是因为即便是有术数定理证明高级的林浩，证明这玩意儿估计也得犯难。

就算能够证明出来，那是免不了一番折腾，还不知道要到什么时候了。

眼下有了风林人工智能的新功能，那么林浩倒是想尝试尝试了。

毕竟现在的风林人工智能，已经是可以自主地去进行定理证明了，就算是最后证不出来，林浩需要做的，也只是把定理输入进去罢了，不会浪费林浩的时间和精力。

不过宋兴维可不知道这一茬，神色郑重道：“林先生，这定理证明的难度很大，我想你也清楚，如果你真的要做，很可能是长期的工作，我知道您事业蒸蒸日上，所以也请您权衡好精力，别太沉迷了。”

沉迷于术数定理？

说来好笑，一般不都是沉迷于游戏吗？

谁会沉迷术数定理？

还真别说，沉迷于术数定理，导致科研成果被耽误，天赋被浪费的人物还真不少。

科研界，那是一抓一大把。

在术数研究者眼里，定理的证明，是有极大的吸引力和诱惑力的。

别说研究者了，民间也有很多爱好者终身研究术数，其中着迷的人，耽误家庭和工作的也是常见的现象，这就是术数的魅力了。

宋兴维是好心劝导，只不过他不知道的是，林浩证明这术数定理，那不是传统意义上的亲力亲为了，而是有人工智能的代劳。

说白了，这其实也是林浩对自己风林人工智能，新功能的一次测验罢了。

“对了宋老，你这个定理证明到什么程度了，可以先把资料给我。”林浩笑道：“有了证明的思路和框架，下面的事儿会好办很多。”

有了证明框架，那么风林人工智能就可以凭借优化后的算力，硬生生地去证明定理。

可以理解阿尔法零和顶级棋手下棋，阿尔法零的思路很简单，那就是穷举一切棋谱，推测出棋手的下一步所有可能，从而选取最优解来应对。

林浩的风林人工智能，证明术数定理也是走得一样的路子。

只不过，这需要进行的运算和对算力的要求，就远非阿尔法零可以比的了。

“好的，我回头就给林先生。”宋兴维笑呵呵地道。

要是旁人要这么机密的玩意儿，宋兴维一定不会给，但是开口的是林浩。

说实话，能够证明出兴维定理，某种意义上来说，林浩在术数上的造诣，不亚于宋兴维甚至更高，对于这样的人，宋兴维有什么好隐瞒的？

“咔嚓！”

正在这个时候，门口来。

刘雨薇走进门来，见到正在对饮的林浩和宋兴维，不由地一怔。

雪儿是跳起来，眼睛里有星星闪动：“雨薇姐姐，你回来啦！”