>>512-513
"問題はsimplificationではなく系3.12の証明が証明になっていることを望月が説明できないこと"
（>>509より）

似た状況は 下記
Geometric Langlands correspondenceの Dennis Gaitsgoryら 9人の論文で
”5本の論文に渡る1,000ページ”
『ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に困難で、ほぼ不可能」と評した』
という

”説明できないこと”は、問題ではあるが
21世紀の現代数学では あるあるです

（他分野の数学者に）”説明できないこと”と
その論文の成否とは別だ

(参考)
https://en.wikipedia.org/wiki/Geometric_Langlands_correspondence
Geometric Langlands correspondence
Status
A claimed proof of the categorical unramified geometric Langlands conjecture was announced on May 6, 2024 by a team of mathematicians including Dennis Gaitsgory.[7][8] The claimed proof is contained in more than 1,000 pages across five papers and has been called "so complex that almost no one can explain it". Even conveying the significance of the result to other mathematicians was described as "very hard, almost impossible" by Drinfeld.[9]
(google訳)
この証明は5本の論文に渡る1,000ページ以上に及び、「非常に複雑で、ほとんど誰も説明できない」と評されている。ドリンフェルドは、この結果の重要性を他の数学者に伝えることさえ「非常に困難で、ほぼ不可能」と評した。[ 9 ]