Google DeepMind 的人工智能（AI）系统在 2024 年国际数学奥林匹克竞赛（IMO）中获得银牌，这是 AI 首次在这种高水平的数学竞赛中取得这样的成绩。在竞赛中，DeepMind 的 AI 系统成功解决了六个问题中的四个，总得分 28/42。DeepMind 科学 AI 副总裁 Pushmeet Kohli 表示，这是构建高级定理证明器旅程中的一个关键里程碑。
DeepMind 的 AI 系统采用了深度学习和强化学习技术，能生成严格且逐步的证明。这些证明由两位数学家评分，确保了其准确性和严谨性。2024 年国际数学奥林匹克竞赛（IMO）在英国巴斯举办，汇聚了来自 108 个国家的 609 名学生。最终，美国队以 192 分的总成绩摘得桂冠，中国队则以 190 分紧随其后。
AI 系统的优势在于其计算能力和快速生成严格证明的能力，使其能在短时间内解决繁杂的数学难题。然而，AI 在理解和推理某些问题上仍不及人类，特别是那些需要创造性思维和深度理解的问题。
AI 系统不仅可以在数学研究中发挥作用，还能为数学教育带来新的工具和方法。AI 可以帮助研究人员解决复杂的数学问题，生成新的数学定理和证明，甚至开辟新的数学领域。此外，AI 还能用于数学教育，帮助学生理解复杂的数学概念，提供个性化学习建议，提高学习效率。
AI 在其他科学领域的应用也值得关注。在物理学、化学和工程学等领域，AI 可以帮助研究人员进行复杂的计算和模拟，加速科学发现和技术创新。AI 可以用于材料科学中的新材料设计、化学中的药物发现，以及工程学中的优化设计。