AI【さすがのグーグル】GoogleDeepMindの数学AI、50年来の未解決難問を一気に9件証明 数学証明AI「AlphaProof Nexus」が、エルデシュ問題9件を証明|ビジネス+IT 2026-05-31