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