谷歌DeepMind的AlphaGeometry模型成功解决了25道IMO几何题，接近人类金牌水平，而GPT-4惨败得0分。这标志着AI在数学领域的推理能力实现了史诗级升级，超越此前的AI系统。通过AlphaGeometry，我们可以看出AI在逻辑推理、发现和验证新知识方面的能力，在不断增强。此举也将为科学和AI领域带来新的机遇。