人工智能与科学研究交汇处正加速发展，本周三项重大进展预示着AI辅助发现的新时代即将来临。
陶哲轩的AI科学愿景
著名数学家陶哲轩宣布成立AI x Science组织，这是学术界对AI变革科学研究潜力最具影响力的背书之一。在最近的一次采访中，陶哲轩谈及未来拥有「一万个陶哲轩」的可能性——这是AI工具如何显著提升研究人员能力的引人注目愿景。
「人类的数学蒸馏知识可以被压缩成一种形式，让更多人能够在高层次上做出贡献，」陶哲轩表示。他强调AI可以成为科学发现的倍增器，而非取代人类研究人员。
Anthropic上下文窗口突破
在AI模型领域，Anthropic已发布100万上下文窗口模型的通用版本，在多检索上下文推理（MRCR）基准测试中取得了最先进的结果。此版本直接解决了大型语言模型的一个关键局限：上下文衰退——即随着上下文长度增加，模型性能下降的问题。
该公司设计这些模型是为了在极长上下文中「尽可能长时间」保持推理质量，可能为法律文档分析、代码库理解和综合研究合成带来新的应用场景。
数学蒸馏挑战赛
与此同时，SAIR基金会推出了「数学蒸馏挑战赛」，为AI数学推理开辟了新前沿。该挑战专注于推进AI提取和应用数学知识的能力——本质上是教导AI系统将复杂数学概念转化为更易获取、适用的形式。
该倡议与陶哲轩的愿景一致，即让专业知识更容易获取，潜在地让更多研究人员在无需数十年专门训练的情况下做出高水平贡献。
未来展望
这些进展指向一个趋同轨迹：AI系统在处理复杂、长上下文推理方面变得越来越强大，同时使专业知识变得更容易获取。陶哲轩的参与为AI x Science运动增添了重要可信度，而Anthropic的技术进步和数学蒸馏挑战为实现这一愿景创造了基础设施。
其影响不仅限于数学——类似方法可能改变物理学、生物学等历史上因专业知识门槛而形成进入障碍的领域。