20/05/06 16:30:15 /JY71bka.net
>>186
つづき
PSは数論幾何学における研究でフィールズ賞を受賞したピータ・ショルツだと判明した。2018年の3月、ショルツとジェイコブ・スティクスは彼等の懸念を議論するために京都に望月を訪問した。会合は内部者達だけに知られていたが、数か月後常識となった6。どちら側も他を納得させられなかった。
議論は失敗に終わった。
（原文）
URLﾘﾝｸ(inference-review.com)
A Crisis of Identification
David Michael Roberts
(抜粋)
参考文献
3.
PS (Peter Scholze), December 21, 2017, comment on “The ABC Conjecture Has (Still) Not Been Proved,” Persiflage, December 17, 2017. ?
URLﾘﾝｸ(www.galoisrepresentations.com)
PS says:
December 21, 2017 at 3:28 pm
Thanks for the wonderful post! I agree with everything that was said.
One small thing I would like to add is that most accounts indicate that no experts have been able to point to a place where the proof would fail.
This is in fact not the case; since shortly after the papers were out I am pointing out that I am entirely unable to follow the logic after Figure 3.8 in the proof of Corollary 3.12 of Inter-universal Teichmuller theory part III:
“If one interprets the above discussion in terms of the notation introduced in the statement of Corollary 3.12, one concludes [the main inequality].”
Note that this proof is in fact the *only* proof in parts II and III that is longer than a few lines which essentially say “This follows from the definitions”.
Those proofs, by the way, are completely sound, very little seems to happen in those two papers (to me). Since then,
I have kept asking other experts about this step, and so far did not get any helpful explanation.
つづく