私立のオンライン大学「ＺＥＮ大」（本部・神奈川県逗子市）などの国際共同研究チームは１７日、数学の難問「ＡＢＣ予想」を証明したとする京都大数理解析研究所の望月新一教授の理論について、「過程に不明瞭な点がある」と指摘した中間報告を公表した。証明の正否は「判断を保留する」とした。数学の証明支援ソフト「Ｌｅａｎ（リーン）」を使った検証を今後も継続するという。