ZEN大学とユトレヒト大学は、数学の難問「ABC予想」の検証を目指す国際共同研究「LANAプロジェクト」を開始した。京都大学の望月教授が証明したとされる理論を、プログラミング言語を用いてコンピューターで検証する。この研究は、数学界における長年の課題に取り組むものだ。日経新聞が報じた。