Simone如何看待 Peter Scholze 和 Jacob Stix 称望月新一对 ABC 猜想的证明有误？
的有关信息介绍如下：
阅读笔记：
（1）
上文中的不等式是望月文中的一个重要的等式，但是SS 发现此不等式相当于，
其中RHS是absolute logarithmic root discriminant(显然这个值是大于或等于零的)，最后SS说了一句which is essentially free of content（它基本上没有内容），说的再通俗一点就是没有多大意义的意思。
潜台词：你搞了一个这么牛的一个不等式（也就是上面的这个不等式），但是她从本质上面来说是相当trivial的，也就是SS一文中后面所说的 “空不等式”。
（2）其中主要的解释是放到后面的那张图上面了（还没有完全看懂）
这张图也就是望月证明ABC的主要框架图，SS说，上图的左边有个j2，会导致这整个图中有j2，这是不兼容的。
总结：
1）如果考虑有j2，那么就是上文中的（2），SS说这条路是行不通的，不兼容。
2）如果不考虑j2，那么就变成的上文中的（1），导出的不等式是没有意义的，是个空不等式。
总之，你考虑j2，证明有问题，你不考虑j2，证明也有问题。如果按照SS的说法，那么望月证明abc论文的主要框架是有问题的，是结构性。这里是个死结。
附：
还好，知道问题在哪里的，接下来该望月出招啦！
