数学の超難問ABC予想、京大教授が証明 検証に7年半:朝日新聞

 35年間未解決で、世界中の数学者を悩ませてきた数学の超難問「ABC予想」を、京都大数理解析研究所の望月新一教授(51)が証明した。7年半に及ぶ検証を経て、証明論文の正しさが認められ、国際的な数学誌へ…