本文作者是剑桥大学(University of Cambridge)理论宇宙学家、印孚瑟斯-剑桥人工智能中心(Infosys-Cambridge AI Centre)主任
数学曾经被认为相对安全，不会受到即将到来的人工智能(AI)自动化洪流的冲击。聊天机器人或许能够按照要求生成文本、代码和图像，但数学所需的深度推理应该超出其能力。因此，OpenAI和DeepMind最近在国际数学奥林匹克竞赛(IMO)上获得的金牌，让像我这样的数学教授突然感到不那么安全了。
AI会像已经在编写代码一样进行数学证明吗？毕竟，两者有明显的相似之处：两者都是高度结构化的“语言”，具有明确的约定和有限的“词典”。两者都有巨大的例题库，可以利用这些例题的已知解法训练AI。
您已阅读26%（324字），剩余74%（938字）包含更多重要信息，订阅以继续探索完整内容，并享受更多专属服务。