Google、数学の難問を解くAI「AlphaProof」「AlphaGeometry 2」を発表　国際数学オリンピックで「銀メダル」レベルに到達

AlphaGeometry 2が19秒で解いた「∠KILと∠XPYの和が180度に等しいことを証明せよ」という問題4の図。AlphaGeometry 2は、∠AEB＝90度となるように直線BI上の点Eを構成することを提案したという。点EはABの中点Lに目的を与えるのに役立ち、結論を証明するのに必要な△ABE〜△YBIや△ALE〜△IPCのような多くの相似三角形の組を作る（提供：Google DeepMind）