ここは、”Inter-universal geometryとABC予想(シン応援スレ) ”なので、一応下記をば 投稿します

＜要点＞
１）朝日 石倉徹也氏 ”証明に暗雲？”とか さすが新聞記者
　だが 板倉龍（科学雑誌Newton編集部長）”私にとってはむしろ，長く停滞していた雲が晴れていく（かもしれない）兆しが感じられた記事でした”のコメント
２）ZEN 大学の公式発表も添付

(参考)
https://www.asahi.com/articles/ASV3V3VPBV3VDIFI00NM.html
数学・ABC予想、証明に暗雲？　国際チーム検証中、望月氏と議論へ
2026年3月31日 13時00分
有料記事 石倉徹也 朝日
注目コメント試し読み
commentatorHeader
板倉龍
（科学雑誌Newton編集部長）
2026年3月31日15時8分 投稿
【視点】見出しには「証明に暗雲？」とありますが，私にとってはむしろ，長く停滞していた雲が晴れていく（かもしれない）兆しが感じられた記事でした。

https://zen.ac.jp/zmc/topics/jwz-o8xr3v6f
LANA プロジェクト発表にあたって 2026.03.31
2026年3月31日に行われたLANAプロジェクト発表に際しての各員のコメントを掲載いたします。
（抜粋です）
若山正人：ZEN 大学学長
学長の若山です。
本プロジェクトの目的は二つです。ひとつは日本の研究者の貢献が著しい遠アーベル幾何学の主要定理をLean形式化し、そのライブラリを構築することです。もう一つは京都大学数理解析研究所の望月新一教授による宇宙際タイヒミュラー理論の、Lean形式化による検証です。この理論については、未だ世界の数学者からの納得感が得られないままの状況です。したがってその検証自体が、数学の発展にとって意義深いはずです。今回、加藤教授が中心となり、目的達成のために世界に比類ない国際チームを整えることができました。限られたテーマ・分野ではありますが、考えうる世界最高チームです。
これは本学の新しい挑戦です。本日はどうぞよろしくお願い致します。

加藤文元：ZMC 所長
ここで慎重に申し上げるべきは、現時点でそのポイントが数学的なギャップであるのか、それとも私たち自身の理解力の問題に由来するのかについて、私たちはまだ最終的な結論を出していない、ということです。数学とは客観的な学問ですが、その客観性に忠実な言い方をするとして、あくまでも可能性としては、この点に議論の不備があるという可能性はもちろんあります。ですから、まさにこの点こそが今後の核心的論点であり、私たちは今後もこの点について、あくまでも中立的な立場から検討を進め、望月氏との対話も続けていくつもりです。
今後の見通しについて申し上げます。私たちは、今年の7月17日に、LANAプロジェクトの活動に関する中間報告を、記者会見の形で世界に向けて発表する予定です。その場では、IUT理論の検証について、その時点までの我々の理解の詳細を整理して公表したいと考えています

つづく