想到这里,徐辰的心臟怦怦狂跳。
原本卡在n-s方程面前那座令人绝望的高墙,仿佛被他用这种近乎“开掛”的方式,硬生生地砸出了一条缝隙。
不过徐辰也很清楚,目前的现成ai工具必然无法满足他的需求。 281號问题这样的成果被眾人顶上热搜,本身就说明这已经代表了当前ai的最高水平,甚至可能是运气好才出来的结果。
新闻標题里那所谓的“独立证明”,在內行人眼里绝对要打上一个大大的引號。
更准確的描述应该是,科技巨头的研究员们把题目“扔给”ai后,经歷了无数次的人工干预,反反覆覆地调试提示词,才像挤牙膏一样逼著ai產出了最终结果。
更扎心的是,根据公开的技术报告,ai对这类复杂问题的一次性通过率只有1%到2%。换句话说,有99%的尝试都以失败告终,只不过那些失败案例压根没被放出来罢了。281號问题这样的成果被眾人顶上热搜,与其说是ai的胜利,不如说是倖存者偏差的完美演绎。
因此,真的要帮到徐辰这个等级的需求,必然需要一个更適合高深数学推导的全新模型。
……
所以唯一的悬念是,打造一个能够理解极高深现代数学概念的专属ai工具,需要多长时间?
徐辰盘算了一下。
如果自己跨界去研究並训练一个专门辅助自己验算的ai模型,整个开发周期预计在150-180天內完成的话……
原本需要200天才能强行找到ns方程的解法方向,那么开发ai辅助的时间成本是:180天的ai开发+ 20天的並发验证= 200天,时间是相当的。也就是只要半年內搞定这个ai,自己就不亏!
更何况,这个ai一旦成型,以后解决其他千禧年难题或黎曼猜想时,同样可以直接降维打击! 这相当於做一次投资,换来终身的科研效率加倍。
这简直是一本万利的买卖。
在学术界有一句古老的吐槽:为了避免做5分钟的繁琐算术题,数学家愿意花5个小时去发明一个新定理。
徐辰现在的心態完美契合了这句话。为了避免陷入长达半年的无聊验算,他寧愿跨界去抢计算机科学家的饭碗,自己搓一个超级ai出来!
反正也不是第一次抢饭碗了!
……
不过,徐辰想到如果真的把这台『赛博学术牛马』造出来,那未来的学术体系肯定会发生巨大的变化。
自己估计要成“学术灭霸”了。
至於这会不会引发学术界的大地震,那就不是他需要考虑的问题了。
“对不住了,各位同行,我实在是不想手算n-s方程的误差项了……”
“我想要提前进入工业化学术时代了……”
……