未解猜想

谷歌DeepMind AlphaGeometry系列通过神经符号混合架构解决国际数学奥林匹克几何问题，显著提升解题效率和成功率。但其仍受限于预设规则和复杂推理能力不足等问题。