メインコンテンツに移動

数学のABC予想、機械で検証へ