[2017年12月16日]
京都大数理解析研究所の望月新一教授がABC予想を証明したとのこと。 wikiで調べてみましたが、全くわかりませんでした（笑） ２０１２年の発表から一部修正を経て、査読（他の数学者が間違いがないことを確かめること）に５年以上もかかっているようですね。 おめでとうございます。