【数学】ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ [すらいむ★]

LEANは過去の数学に基づいて作られた検証ツール
LEANの枠組みを超えるような新数学理論だってあり得るだろう
それが画期的で新しい物であればあるほど