京都大は3日、30年以上にわたって未解決だった数学の難問「ABC予想」を京大教授が証明したと発表した。