（共27页PPT）高中应用11和数学家做朋友讲义.pptx

历史;第四章：人工智能前沿;AI+VS+AI;第一节：和数学家做朋友;学习目标;人工智能与数学;数学定理证明;数学定理证明;（曾经的）四色猜想;四色定理;;2024年，谷歌DeepMind团队在《自然》杂志上发表了一篇论文，介绍了一个名为AlphaGeometry的几何定理证明程序。AlphaGeometry结合了神经语言模型和符号推理引擎，其中神经语言模型提供快速的直观判断，而符号推理引擎则负责严谨的逻辑推理。当证明出现困难时，语言模型建议加入一条辅助线AD，以帮助推理引擎完成证明。经过大量数据训练以后，AlphaGeometry能够高效地发现几何问题的潜在解法。;