所以望月新一这一次，真的做到了吗？

望月新一发表了4篇论文来证明这一猜想，他把自己的研究成果叫做“宇宙际teichmuller理论”。

按照望月新一的说法，该理论是用于椭圆曲线数字场的teichmuller理论的算术版本，里面包含了像霍奇剧院（hodgetheaters）这样奇怪的名字。

望月新一的理论并未得到学界广泛认同，600多页的证明被来自德国波恩大学的两位德高望重的数学家质疑。

2018年菲尔兹奖得主、马普所数学研究所所长peterscholze说：“我认为abc猜想仍未解决，任何人都有机会证明这一点。”

scholze和他的同事jakobstix还曾发表一篇报告，指出在望月新一第三篇论文中“推论3.12”证明过程从根本上来说是有缺陷的。

而该推论对abc猜想的证明至关重要。

和其他部分引理的证明不同，3.12的证明尤其长，总共有9页。scholze认为这9页证明达到了根本无法遵循逻辑的地步。

scholze在2018年到京都大学进行了为期一周的访问，与望月新一探讨了这个问题，但双方谁也说服不了谁。

scholze说：“我认为，除非望月新一进行一些非常实质性的修改，并更好地解释这一关键步骤，否则不应该将其视为证明。”

“我真的没有看到一个使我们更接近abc猜想证明的关键思想”，scholze还补充道。

这篇论文被期刊接收，并不是abc猜想的终点，也无法让数学家站到望月新一这一边，新的争论还会继续下去。

他现在是京都大学数理解析研究所教授。研究数论，包括算术几何，霍奇理论和远阿贝尔几何。

不过这种猜测的疑点很多，因为比特币用到的密码学不是望月新一的研究方向，而且他作为一个纯粹的数学家，对现实世界的问题也不太关心。

如果abc猜想被证明了，费马大定理也能使用初等代数方法证明。

那数学上就可以认为，几乎所有的初等代数问题，都可以使用初等代数的方法解决，而无需借助模形式之类更加复杂的技巧。

费马大定理是一阶逻辑问题，怀尔斯用二阶逻辑问题解决。

而abc被证明了，那还是用一阶逻辑问题了。

那原来所认为的二阶逻辑问题，都可以用一阶逻辑问题解决。

所以是否能够找到，所有的二阶逻辑问题都可以被一阶逻辑问题解决的普遍方法。

而abc猜想是否可以在这个问题上进行推进。