文章摘要
【关 键 词】 人工智能、科学领域、数学潜力、模型加速、辅助证明
在7月17日的牛津数学公开讲座系列研讨会上，著名数学家陶哲轩发表了关于人工智能（AI）在科学和数学领域潜力的演讲。陶哲轩认为AI本质上是一台“猜测机器”，通过不断调整权重来预测下一个可能的结果，尽管这一过程在数学上可能显得无聊，但找到权重的方法却非常有趣。他将AI的发展比作飞机的发明，虽然初期看似只是玩具，但随着时间推移，其潜力将逐渐显现。
陶哲轩指出，尽管AI在医疗、财务决策等领域的安全性尚未达到标准，但在科学领域，AI的不可预测性却可以与独立验证相结合，从而过滤掉无用信息，保留有用内容。他形象地将科学比作水龙头，而AI则像一个大消防水管，能够大量输出潜在的应用。例如，在药物设计和材料科学领域，AI可以减少试验候选对象，加速科学发展。
此外，陶哲轩还提到了AI在模型加速方面的潜力。通过训练大量模拟数据，AI可以显著缩短气候模拟等复杂系统预测的时间。他预测，随着AI数学推理能力的提高，将为许多应用场景带来革命性的变化。
在与CMU数学教授罗博深的对谈中，陶哲轩讨论了DeepMind的AlphaProof和AlphaGeometry 2模型在国际数学奥林匹克竞赛（IMO）中取得银牌的成绩。他认为这是一项令人兴奋的成果，尽管AI在解决IMO级别的数学问题上仍有很大的提升空间。
陶哲轩还提到了辅助证明软件在数学领域的应用，如Lean等，它们可以100%按照程序设定运行，提高证明的准确性。他预测，随着AI技术的发展，未来数学家可能只需向AI口述证明过程，AI将尝试对每个步骤进行形式化验证，从而提高数学研究的效率和准确性。
总之，陶哲轩认为AI在科学和数学领域具有巨大的潜力，尽管目前仍存在一些挑战，但随着技术的不断进步，AI将为这些领域带来革命性的变化。
原文和模型
【原文链接】 阅读原文 [ 3799字 | 16分钟 ]
【原文作者】 新智元
【摘要模型】 moonshot-v1-32k
【摘要评分】 ★★★★★
