《生活大爆炸》的观众都清楚，该剧在长达12季的播出中，不仅讲述了四位主角科学家的故事，还着重展现了当时的科技发展；如今，一项在当时仅存在于想象中、足以让科学界为之振奋的重大进展正在发生。
Google旗下人工智能公司DeepMind开发出一款名为AlphaGeometry的新型AI系统。该系统通过解决几何问题并展现出深厚的数学推理能力而备受瞩目。据称，该工具具备解决复杂几何问题的能力，其水平堪比在国际数学奥林匹克竞赛中获得金牌的数学家。
解决几何问题曾对AI系统构成重大挑战。然而，训练AI解决此类问题本身也带来了特殊困难：由于将数学证明转换为机器可理解格式的过程复杂，可用的几何训练数据十分有限。
为克服这一难题，DeepMind采取了独特方法。鉴于数据不足，团队自行生成了合成训练数据，在1亿个合成定理和证明上训练了AlphaGeometry，从而使该系统成功解决了25道复杂的几何问题。
在AlphaGeometry的设计中，实验室将神经语言模型与类似ChatGPT的模型相结合，并添加了一个能利用数学规则生成问题解决方案的系统。这种双重方法使系统能够灵活且快速地解决几何问题。
业界认为，这些进展可能为数学和AI领域的新发现打开大门。AI系统在数学推理能力上的提升，可能会影响未来AI应用和研究的方向。