这是一道悬置近80年的离散几何核心难题。
”,并评价道:“如果这是人写出的论文,我会毫不犹豫推荐顶刊接收”。
“ai做到了许多优秀研究者尝试多年却未能做到的事情”。布鲁姆在验证后撰文:
ai之所以能成功,是因为它坚持探索了那些人类研究者认为“不值得继续投入时间”的研究方向。
值得注意的是,这次openai长了个心眼,就在七个月前,他们曾宣称gpt-5解决了多个埃尔德什问题,结果被揭穿只是从文献中找到现成答案。
而这一次,他们同步邀请了多位数学家独立验证,所有公开支持声明都是真金白银的原创突破。】
天幕上又亮了起来,可这次底下的佃户们只是抬头瞥了一眼,就齐刷刷收回了目光。
“来来来,看不懂看不懂——”刘易斯镇长把手里一把粗糙的纸牌往石桌上一拍,朝周围几个佃户招了招手,“咱们继续玩。”
几个人呼啦啦围上来,蹲的蹲、坐的坐,把那块平时当切菜板用的石头围了个严实。
“一对三!”一个年轻佃户甩出两张牌,得意洋洋。
“王炸!”刘易斯把手里两张牌“啪”地拍在石头上,声音脆得像放鞭炮。
佃户们先是一愣,随即笑成一团。有人拍著大腿,有人笑得弯了腰,年轻佃户指著刘易斯,眼睛瞪得溜圆:
“嘻嘻嘻——大刘,你这研究的‘斗贵族’还真好玩!你脑子怎么长的?”
贵族:还是不肯放过我吗,哈基刘,你这家伙
刘易斯笑眯眯地把桌上的牌拢过来,一边洗一边谦虚道:“夸奖了,夸奖了。”
牛顿蹲在不远处的石阶上,双手搭在膝盖上,远远看着那群佃户打得热火朝天。
他不太喜欢这种喧闹的玩法,更不喜欢那些粗糙得连数字都印歪了的纸牌。
别人:打牌
牛顿:研究天幕就很
至于天幕上那个叫“ai”的东西,他皱了皱眉。
“有智慧的机器?”他低声念叨了一句,目光往天上飘了飘。
圣经里好像也没有这种东西。人造的生命?那不就是他把那个念头按了下去,没有说出口,只是觉得脊背微微发凉。
而在书房里,高斯和黎曼并肩坐在一张长桌前,面前摊著几页演算纸,两个人的目光却都落在天幕上,半天没动。
“ai人工智能”黎曼的声音带着一种真切的困惑,“能取代人类做数学研究?那未来的数学,还有人类的事吗?”
高斯没有马上回答。
他摘下眼镜,慢慢地擦著镜片,过了好一会儿才开口道:
“还会有人类的作用的。”
他把眼镜重新戴上,镜片后面的目光很稳,“所谓机器再智慧,也企及不到人类。
你想想,人类如果能发明比自己还智慧的存在,人类不就成为上帝了吗?创造新生命,那是上帝的权柄。”
黎曼沉默了几秒,点了点头,可眉头并没有完全松开。
如果有一天ai连黎曼猜想都能解决的时候,那人类恐怕确实得被ai取代了。
英格兰,布雷奇利庄园附近一间不起眼的书房里。
图灵坐在椅子边缘,整个人往前倾著,两只眼睛盯着天幕上那行“ai首次独立解决数学核心未解问题”的字样,一动不动。
“通用推理模型推翻猜想”曼喃喃地重复著,声音里带着一种克制不住的兴奋,“我们现在还在讨论通用图灵机,他们已经做出来了?”
图灵没有回答。他的手不知道什么时候摸到了桌上的笔记本,已经翻开了空白的一页,笔尖悬在上面,迟迟没有落下。
在他的脑海里,一个词正在慢慢成形,像墨水渗进宣纸一样不可阻挡。
图灵测试,用机器去判断机器,用对话去衡量智慧。
如果有一天,一台机器能在对话中让人类无法分辨它是人还是机器,那它算不算拥有了智慧?
他抬起头,又看了一眼天幕。
“原来这条路,真的有人走到了那么远的地方。”
他低声说了一句,然后低下头,开始在本子上飞快地写了起来。
两道矗立著身影,或许不会知道,他们将对未来的计算机学科产生如此大的影响。
人们总是戏说计算机领域有两个学派,图灵的南梁派和冯诺依曼的硬核派,但这对双子星的命运走向截然不同。
冯诺依曼在很早就是普林斯顿的教授,在数学,量子力学领域有了建树颇丰。
带着计算机两人各奔东西,分别来到美国和英国。
。他凭借极高声望,为了在普林斯顿建造niac计算机,上演了一