20/05/02 09:41:31.66 qpZJrq8I.net
>>637
補足しておく
>"Simply put: proving corollary 3.12 is harder (or impossible). Trust me, if I could either prove or disprove it I would tell you."
>簡単に言えば、当然の結果として3.12を証明することは困難（または不可能）です。私を信じてください、もし私がそれを証明したり、反証したりできるなら、私はあなたに話します。
１．要は、こんなところで、簡単に説明できるようなことではない（確か、Taylor Dupuy 先生のYoutube Cor3.12解説ビデオが約1時間もの。それを、タイプ起こししたら大変なことになる）
２．で 「Cor 3.12 = 望月予想」かというと、”望月予想”なんて、世間に認知されていないから、それは全くおかしな話です
３．Taylor Dupuy 先生は、 ”Trust me,”から分かるように（Youtube Cor3.12解説ビデオもそう）、Cor 3.12 の成立には確信を持っているのです
４．なお、Cor 3.12 が 他の数論と全く無関係な孤立した定理なら、「そんなの無視！」で終わるところ
５．「ABC予想が解決されて定理になるかも」、「Explicit Szpiro from Mochizuki’s Corollary 3.12」などと言われると、”それは看過できない。シロクロはっきりさせないと”となります
（以前にも書いたが、数論研究者にとって、研究テーマ選定や研究方針の選定に大きく影響するので、看過できないってことですよ（＾＾； ）