私立のオンライン大学「ＺＥＮ大」（本部・神奈川県逗子市）は３１日、数学の難問「ＡＢＣ予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Ｌｅａｎ（リーン）」を使って検証するプロジェクトを開始したと発表した。オランダやカナダの大学と共同で取り組む。今年７月に中間報告を行う。