他先向哈佛、芝加哥大学等发出求职信号,引得各家纷纷开出天价“抢人”,普林斯顿为了留住他,最终咬牙批准了建机计划。
这台机器不仅证明了氢弹的可行性,也成为了后世所有计算机的“母型”。
回到英国的图灵则没那么幸运。他满怀激情地想为英国制造一台可编程的计算机(ace),然而在战后沉闷的官僚体制下,这份报告无人能真正看懂。
他无法像在美国那样获得巨大支持,只能孤军奋战。
最后,因同性恋身份被曝光,他被迫接受化学阉割,于1954年自杀身亡,年仅42岁。
王尔德:还说什么,跟一个。
(作者一直以来认为英gay兰从古至今很开放的,原来也不是这样)
或许值得说道的是,图灵在后世普通人的名声熟悉度中反而高过冯诺依曼。
而两人的经历与理念就像是计算机序列中的序列0至今不断影响着低序列的后代子孙。
虽然挺玄乎,但想一想武侠小说的传统就不奇怪了,序列0这一块。
【这道题的核心很简单:在平面上放n个点,最多能让多少个点对“恰好相距1个单位”?
埃尔德什认为,像国际象棋棋盘那样的正方形网格就是最优解,并给出数学上界猜想。
过去80年,数学家们都在试图证明老爷子是对的。
但openai的模型另辟蹊径,直接颠覆了这个前提,它找到了比网格多得多的单位距离点对配置,推翻了猜想,证明了其不成立。
这是最核心的创新点:ai的解法引用了代数数论中的工具来破解组合几何难题。研究人员形容:
这两个领域的关系,好比“马拉松和撑杆跳一样遥远”,但ai能轻松跨界连接。
布鲁姆的评论点明了关键:人类研究者会因为“这事看起来没希望”而早早放弃某个研究方向;
但ai没有“不值得投入”。
完成这一突破的不是专为数学打造的模型,而是一个通用的推理模型,它没有预设“我是数学领域的专家”,反而因此不会受既定思维的束缚。
在让ai解决这个问题时,用户给ai断了网,并要求它不要局限于主流的想法。
高尔斯在评价时说到了一句意味深长的话:“即便ai从此不再变得更聪明,人类也将在数学问题求解上越来越难与ai竞争。”
“ai不会消灭数学研究。它只是扩大了人类探索未知的能力。”
这是ai的数学奇点时刻,不是取代,而是开启一个人机协同的新时代。】
天幕上那段关于ai破解数学难题的讲述还在继续,可底下的佃户们已经彻底不听了。
“一对四!”一个佃户甩出牌,声音盖过了天幕的旁白。
“管上!”另一个紧跟着拍下来。
刘易斯镇长手里攥著一把牌,眯着眼看了看牌面,又抬头瞥了一眼天幕上那些密密麻麻的数字和公式,摇了摇头,低头继续出牌。
什么ai,什么数学猜想,离他们太远了,远不如手头这把“斗贵族”来得实在。
不远处的苹果树下,牛顿背靠着树干站着,手里没有拿书,也没有拿笔。
他望着天幕上那些不断滚动的文字,眉头拧成了一个结。
ai。有智慧的机器。能独立解决人类80年解不出的数学难题。
这些东西超出了他理解的范围,可他又无法假装没听见。
天幕给他们展示了太多,未来的城市、会飞的机器、隔着万里传话的装置、还有这个叫“人工智能”的东西。
可知道的越多,心里的疑虑反而越深。
他抬起头,望向太阳。日光刺眼,他不得不眯起眼睛,可目光却没有收回来。
宇宙的尽头究竟是什么呢?
如果未来的人类已经造出了这种近乎神迹的工具,那他们有没有找到那个答案?
没有人回答他。只有风吹过苹果树的叶子,沙沙作响。
高斯和黎曼并排坐在长桌前,原本只是漫不经心地听着天幕上的讲述。
可当那道“平面单位距离猜想”被完整地抛出来时,两个人几乎同时伸出手去够桌上的鹅毛笔。
“有意思。”高斯低声说了一句,在草稿纸上画了一个坐标系。
黎曼
起初他们只是抱着一种学者本能的兴趣,听听而已,顺手算算。
可算著算著,两个人的速度都慢了下来。
黎曼放下笔,盯着自己写了两页的草稿纸,沉默了几秒,然后抬起头看向高斯。
“这个ai”他顿了顿,“看来还是有含金量的。”