大洋彼岸的旧金山。
因为时差的关系,这里正是傍晚。
理察坐在自己略显凌乱的房间里,手里端着一杯已经凉透的速溶咖啡。
窗外的阳光很好,橘黄色的光线穿过百叶窗,在桌面上切出一条条明暗相间的线。院子里的草坪很久没有仔细修整了,边缘长得有些凌乱。以前这类小事他从不操心,社区园艺公司会按时来处理,帐单自动扣款。
但现在,他取消了不少订阅服务。
(请记住看台湾小说首选台湾小说网,?????。???超给力网站,观看最快的章节更新)
包括园艺。
理察低头看了一眼放在桌角的帐单,心里有些烦躁。
被A社解雇后,他的生活并没有立刻跌入谷底。
至少还没有。
因为A社如今自顾不暇,股价暴跌丶集体诉讼丶监管调查丶董事会内斗,一堆烂摊子压得他们喘不过气来。原本法务部气势汹汹威胁他的高额违约金官司,也因为公司内部混乱而迟迟没有真正进入审判程序。
从法律意义上说,他暂时安全。
但从生活意义上说,他已经明显感到了压力。
……
这几天,理察状态比刚被解雇时好了一些。
至少不再整夜失眠,也不再反覆看那些辱骂A社的新闻给自己找安慰。
他开始重新关注数学界的消息。
然后他看到了华国数学会年会,看到了徐辰彻底解决NS方程。
看到了那场几千名数学家起立鼓掌的报告会,也看到了闭幕式上,华国数学界以一种近乎不可思议的魄力,向全球数学家伸出橄榄枝。
孔采维奇丶拉福格丶舒尔茨丶威腾……
还有陶哲轩。
当理察看到陶哲轩正式出任「雁栖湖人工智慧与现代数学交叉探索中心」创始主任兼首席科学家时,他在电脑前沉默了很久。
那一刻,他是真的动心了。
数学AI。
这是他人生中最重要的一条路。
很多人以为数学AI是最近几年大模型爆发后才出现的新潮玩意儿,可理察知道不是。
早在神经网络还被许多纯数学家视作「黑箱玩具」的时候,他就已经尝试用机器搜索构型丶辅助枚举丶提炼组合结构。他主导的单位距离猜想相关工作,虽然在学术史上算不上惊天动地,却确实证明了一个方向——AI不是只能做计算,它可以参与数学直觉的生成。
那个时候,没人给他掌声。
数学家觉得他不够纯粹,计算机科学家觉得他不够工程,企业投资人则只关心这玩意儿能不能变现。
他像是站在两条河流交汇处的人,脚下明明有水声,却没人相信那里会有大河。
而现在,大河来了。
只是河流的中心,已经不在矽谷。
在华国。
在雁栖湖。
在徐辰和陶哲轩身边。
……
然而,这种不切实际的幻想只持续了几秒钟,就被理察苦笑着打消了。