其与合菲尔兹奖得主陶哲轩发文称,“发现一个值得研究的问题”正成为稀缺资源。面对AI抢跑,研究者可能不再愿意分享有潜力的研究方向。9月11日,包括陶哲轩、邓煜在内的25位菲尔兹奖得主发表,警告AI快速批量生成数学成果,可能压缩成果验证、方法总结、学术交流和引用前人成果的时间,并引发严重的署名和抄袭问题,使AI发展目标与数学研究目标严重错位。然而,10月6日,OpenAI又一次性公开722篇由其模型生成的数学手稿,声称解决多个长期悬而未决的知名数学难题,再度引发争议。
对此,玛格达莱娜·斯基珀认为,通向这些解答的旅程并没有被探清说明,而“任何科学工作既关乎目的地,也同样关乎旅程”。
数学家马骁则在参与大会圆桌论坛时承认AI确实给数学家带来挑战:AI正在取代数学家的部分能力,AI生成的大量计算、方案、思路、证明等可能错误,需要数学家投入更多精力、更好的组织和工具检验。但他否认AI会给数学界带来寒冬,认为AI反而能大幅扩展数学边界,使数学学科更为繁荣,而这需要数学家快速适应AI时代,并发展更好的方法消化验证AI产出。
值得一提的是,迈克尔·莱维特在同一论坛上被问及类似情况是否会出现在生物学、化学领域时表示,数学界能列出具体待解决问题清单,自然科学界往往面临更模糊的问题,如“地球上的生命如何起源”,这些问题更多依赖实验证据,甚至可能取决于偶然,不像数学那样可依赖理论框架,因此难以被AI批量解决。
他还就AI安全性提出,多样性原则需要进入AI的未来:“我认为获得安全的一种方式是拥有DeepSeek、Kimi、Claude、ChatGPT、Grok等不同模型,即提供模型多样性,就像多样性对生物生存至关重要一样。”与此同时,他还透露自己对于Token价格上涨的担忧,并指出AI在响应时间上仍需进步。
AI正在重塑科学界。而在达特茅斯会议提出AI概念七十周年的节点,科学家们对于下一个十年的AI疆域也有自己的想象。
在大会“致敬达特茅斯70年:智能的下一片疆域”高端圆桌论坛上,迈克尔·莱维特表示他对于十年后实现人机和平共生有35%的信心,马骁则给出80%的信心预测:到2036年,AGI将通过“把一切归约为数学和编程”实现,并把“AI在没有任何人类参与的情况下建造航天器”作为成功判据。
1994年图灵奖得主罗杰·瑞迪则在主旨演讲中对AGI提出一个可量化标准:能就至少90%的任何主题提问得到正确答案。他还进一步描绘了ASI的图景。在他看来,ASI是近乎全知全能、无处不在、控制一切的智能,他把这比作“守护天使”。
“当我们能够确保地球上每个人都拥有一个个人‘守护天使’——能在正确时间以正确语言提供正确信息的AI,我们就知道ASI已经实现了。我们为此目标开发的工具和技术,最终将被证明是人类最重要的发明,使人类迄今取得的一切成就相形见绌。”瑞迪说。但他也强调,人类智慧始终对于有效驾驭AI、负责任地治理AI至关重要,实现这一愿景需要跨学科、跨机构、跨文化和跨世代的合作。
在通往AGI、ASI的道路上,人类的价值在哪里?美国杜克大学医学院神经科学名誉教授、被誉为“脑机接口之父”的米格尔·尼科莱利斯在大会对话环节中分享:“有观点提出,未来十年AI摧毁人类社会的概率为10%,但这一数值缺少严谨的科学推导。我们既不必陷入盲目的恐慌,也不能漠视潜藏风险,应当依托证据与科学方法理性研判。”
“如今,技术在某种程度上甚至成为一种新的信仰,但我们可能忽视了人类本身的价值。恒星和星系存在于宇宙之中,是人类通过观察、求索与思考,为它们命名、探明规律,赋予万物意义。”米格尔·尼科莱利斯说,技术足以重塑未来,但人类独有的创造力、独立判断、情感体验,以及生命本身,永远拥有不可替代的价值。



