京都大は3日、数学の未解決難問「ABC予想」を証明したとする望月新一教授（51）の論文が専門誌に掲載されると発表した。京大は「論文の正しさが証明された」と説明する。ただ数学の難問は、論文掲載後数年かけて世界の数学者の検証を受けて初めて証明されたといわれる。論文発表から約7年半、本格的な証明に向けたスタート…