私立のオンライン大学「ＺＥＮ大」（本部・神奈川県逗子市）は３１日、数学の難問「ＡＢＣ予想」を証明したとする京都大数理解析研究所の望月新一教授の理論が正しいかどうか、数学の証明支援ソフト「Ｌｅａｎ（リーン）」を使って検証するプロジェクトを開始したと発表した。オランダやカナダの大学と共同で取り組む。今年７月に中間報告を行う。
望月氏の論文は２０２１年に同研究所が編集する国際専門誌に掲載されたが、現在でも理論の正しさを巡って世界の数学者の間で意見が分かれている。
ＡＢＣ予想は、整数の足し算とかけ算の関係にまつわる予想で、１９８５年に欧州の２人の数学者が提唱した。
【4/5スタート】ボートレースとこなめ特集
記者が徹底取材した舟券攻略に役立つ情報を年間通してお届け
★宮島ボート★直前予想を無料公開
【3/26～31開催】宮島ボート「中日スポーツ杯」直前予想を公開！
【公式】地方競馬を買うならSPAT４
会員登録はこちら！
【京王閣ナイター競輪】S市原C＆デイリースポーツ杯 特集
（4/1～3開催）豪脚集結！激戦の模様を連日詳報
【釣り】釣果情報（西）
デイリースポーツ釣り指定店からの最新情報をお届け
にしたん社長の人生相談
お悩みクリニック 毎週火曜日更新 好評連載中！
【写真販売】関西団地軟式少年野球
プレー写真、集合写真を販売しております。パネル作製も承ります。
競馬Ｇ１プリント
紙面に掲載されたＧ１のレースシーンをお近くのセブン-イレブン、ローソン、ファミリーマートなど主要コンビニで好評発売中！
阪神タイガースプリント
阪神タイガースの試合中の名シーン写真を、全国主要コンビニのマルチコピー機で好評販売中！
