近ごろ、数学の業界は、重要未解決問題である「ABC予想」が証明されたようだ、という話題で盛り上がっています。証明を発表したのは京都大学数理解析研究所の望月新一教授で、その証明論文は全部で600ページを超える膨大な代物です。どんな予想で、何がすごいのか、解説を試みましょう。