光明网乌镇11月4日电(记者 丛芳瑶)11月4日,2026年世界互联网大会乌镇峰会“人工智能赋能科学研究”论坛在浙江乌镇举行。论坛上,欧洲科学院外籍院士、清华大学人工智能研究院常务副院长孙茂松发表演讲。他认为,今年人工智能的发展确有振聋发聩之处,人工智能正成为科研的“合作伙伴”。

欧洲科学院外籍院士、清华大学人工智能研究院常务副院长孙茂松演讲现场。光明网记者 崔益明/摄
孙茂松以具体案例说明人工智能能力的跃升。在编程领域,用人类语言即可指挥大模型理解并编写代码,“双剑合璧”的效果颠覆了软件工程范式;在数学领域,机器定理证明能力远超预期,丘成桐认为用“冲击”形容都远远不够,称之为一场“海啸”。图灵奖得主Knuth借助Claude模型解决了自己未能完成的难题,并以与人类完全不同的证法推理1300万行,证出了费马大定理。
孙茂松表示,代码能力同样达到专业水平。Anthropic系统在一款历经16年、经500万次检测都未发现漏洞的软件中,找到了致命漏洞;用一群智能体协作,发现漏洞数从单个的12个跃升至266个,效率大幅提升。
他指出,今年《Nature》已有文章认真探讨“AI研究的自动化”,人工智能顶会ECLR投稿量从去年不到2万篇增至今年6万篇,多出部分多由AI写成。孙茂松总结,AI做科研已是大势所趋,应发挥其所长、抑制其所短及对人类带来的冲击。