Google DeepMindが開発した新しいAI、AlphaProofが国際数学オリンピックで大成功を収めた。