攻克千禧年难题之后:斯坦福推出After42,让AI学会提出“值得研究”的问题 - JIUYOU体育

在道格拉斯·亚当斯的科幻作品《银河系漫游指南》里,超级计算机“深思”花了750万年来计算“生命、宇宙以及一切的终极答案”,结果是42。这体现了人类对机器解题能力的浪漫构想。

近期,尖端AI开始在多个长期未解的明确开放问题上取得进展。 数学领域有报告称解决了纳维尔斯托克斯千禧年难题和准黎曼猜想;计算机科学界有研究反驳了指数时间假设;物理学方面,有人给出了量子色动力学存在性的证明,并在宇宙弦引力辐射上取得新成果。

这些进步引起了学术界的忧虑。正如陶哲轩所言,一些“优质且富有潜力的开放问题”正以“不可再生的方式被逐渐耗尽”。 当AI加速解决已有问题时,如何发现新的研究方向、判断哪些领域值得投入,变得越发关键。因为可提出的问题众多,但真正值得深究的却少得多。

那么,AI能否进一步参与问题发现,甚至提出人类专家认可的值得研究的新方向?

在此项工作中,斯坦福大学Percy Liang教授团队与合作者推出了After42,尝试让AI生成人类专家觉得有价值的研究问题。

他们并未让模型直接生成所谓值得研究的问题,而是从研究人员提供的相对宽泛目标出发,让模型阅读相关文献,提出大量候选问题,再通过检索、尝试求解、批判和修改,逐步筛选出更成熟的思路。

论文链接:https://after42.org/research/can-ai-propose-interesting-research-questions/

After42的核心思路是,好的研究问题往往在探索过程中逐步成型。 研究人员在证明、计算或实验时,常发现原问题不够准确,甚至意识到值得深究的现象在另一个方向。因此,After42将尝试求解纳入问题生成流程,让模型在探索中不断检验和修正初始设想。

具体来说,系统先建立研究资料包,包含文献综述、相关论文、已有成果和开放问题。多个Agent协同提出候选问题,系统再检查问题是否与已有研究重复、是否已被解决,或存在难以修复的表述缺陷。

通过初步筛选的问题进入多轮迭代。 Solver Agent尝试寻找证明思路、构造反例或发现可计算结构,其他Agent则根据求解反馈修改问题。模型评审器比较修改前后版本,另一个检查Agent进一步核实问题是否已有答案、定义是否清晰,以及相关判断是否缺乏依据。

图|After42的工作流

在构建模型前,大多数提案通过了新颖性和难度检查,但专家认为只有3%的提案是值得研究的。

图|构建模型前的提案专家评价

在数学、统计学、理论计算机科学和物理学的五个子领域中,29名专家对系统生成的135个最终问题进行了评估。其中,45个问题被认为有趣且值得继续研究,占比约33%,较初始阶段的3%有显著提升。

不过,不同领域的评估结果差异明显。 随机结构相变方向有33个问题获认可,占比47%;在线算法方向有4个问题获认可,占12个问题的33%;黑洞振铃方向有3个问题获认可,占8个问题的38%;统计学方向则有5个问题获认可,占35个问题的14%。等离子体物理方向没有问题获得专家认可。

在随机结构相变方向,研究团队比较了初始提案与多轮开发后的最终问题。结果显示,初始提案中仅约3%获专家认可,经过迭代开发后,这一比例提高至约33%。

图|各子领域专家评估表现

但是,大多数问题都建立在已有研究之上。 研究团队将简单组合定义为,直接基于已有工作提出问题,如重新组合或修改既有研究中的元素,或在已知对象上向前推进一步。在数学领域,70个最终问题里有61个属于此类。当然,组合已有成果也能产生有价值的问题,其中一些现有研究的延伸获得了专家认可。

图|数学领域,AI提出的最终问题仍然高度依赖已有研究

研究团队还发现,模型的作用并不只是润色文字。 某个问题最初研究近似最优路径的配分函数,模型在尝试求解后发现,关键结构可能来自最优路径附近的一组低成本绕行。问题随后被改写为,研究这些局部结构是否构成泊松过程,以及所有近似最优路径是否能够由它们组合而成。也就是说,模型通过求解过程定位了可能真正控制系统行为的局部结构。

在另一个案例中,模型最初试图从大型连通分量中寻找几何随机图与Erdős–Rényi随机图之间的差异。进一步分析后,系统发现三角形等局部结构可能更关键,于是把问题改写为,加入少量随机三角形后能否用Erdős–Rényi图近似几何随机图。这一步将问题从“比较两类图的整体差异”收缩为“少量局部结构是否足以解释差异”,研究对象更具体,也更容易验证。

图|几何随机图与Erdős–Rényi随机图的比较示意

研究人员还测试了AI是否能判断哪些问题最值得关注。四个模型与九名专家分别对一批问题进行排序。模型选出的名单与专家共识具有一定一致性,但很难选出只受个别专家重视的问题。即使提供某位研究者的背景信息,模型的排序也只能有限地接近个人偏好。这说明,AI可帮助研究人员扩大搜索范围、筛选候选方向,并在尝试求解中暴露问题薄弱之处,但它还不能替代研究者对问题价值的判断。

当然,这项研究仍存在一些局限性。 首先,After42展示的能力反映了截至2026年9月的模型水平,随着模型迭代,相关结果可能很快变化。其次,目前缺乏可靠的自动化工具来评估研究问题是否值得研究,因此研究主要依赖有限数量的专家判断,评估范围也相对有限。

此外,专家认为一个问题有趣且值得研究,只能作为判断其潜在价值的早期参考,尚不足以证明它最终能产生重要成果。 过度依赖现有专家的判断和研究共识,也可能使一些未受广泛关注的重要方向被忽略。

在研究方法上,After42目前主要依赖已有文献和研究人员设定的目标,尚未将新数据、模拟或实验结果纳入问题开发流程,现阶段的试点也仅覆盖理论研究领域。未来,研究团队需要引入更多经验证据,并将这一方法拓展至实验科学,以进一步检验其适用范围和实际价值。

目前,研究团队已将After42中经过专家评估的问题公开发布,并将持续维护这一开放资源,供科研社区讨论、完善和深入探索。通过九游服务导航,用户可方便地访问这些资源,从而推动AI逐步融入科研实践。

本文来自微信公众号 “学术头条”(ID:SciTouTiao),作者:学术头条,36氪经授权发布。

上一篇:欧冠小组赛 皇家马德里客场逆转国际米兰
下一篇:CBA新赛季揭幕战 辽宁本钢大胜广东宏远

3条评论

  • 张伟明
  • 2026年9月2

海港队这场打得真漂亮!武磊的状态回来了,希望球队能保持这个势头,向冠军发起冲击!九游体育的直播也很流畅,赞一个!

  • 赞
  • 回复
  • 李思远
  • 2026年9月2

说得对!九游体育一直致力于为球迷提供高清稳定的赛事直播和全面的数据服务,让大家不错过每一个精彩瞬间。后续还有更多焦点战,敬请关注!

  • 赞
  • 回复
  • 王佳怡
  • 2026年9月2

干货满满!感谢九游体育的详细复盘,让我对战术细节有了更深的理解。期待下一场海港对阵申花的德比战,已经设好九游的提醒了!

  • 赞
  • 回复

发表评论