编辑完邮件的陆舟一边打了个哈欠,一边随手点击了发送的按钮。
一般情况下,即便并不看好某人的证明,他也不会将话说得太死,而是会用一种委婉地方式告知。但因为急着去休息的缘故,他也就懒得花时间去修饰自己的措辞了。
当然了,虽说这五百多页的论文在他看来并没有成功证明abc猜想,却也并不意味着这两天的时间都白白浪费掉了。
相比起之前他在京都大学数学系网站上找到的那篇论文来说,这篇经过修订之后的版本在许多细节上进行了优化。
虽然这其中依旧存在不小的问题,但却给他产生了不小的启发。
除了通过将数论问题转化成几何问题的基本思 路之外,还有在重新构建一门数学语言时涉及到的诸多问题。
前者他的经验还算是丰富,但后者对他来说却是一件新鲜的事情。
和基于现有的数学语言编译工具不同,这几乎相当于在“发明”的意义上,重新创造一门用来描述abc猜想的数学语言了。
或许正如佩雷尔曼的猜测一样,没准外星人的数学在解决这个问题时会更容易一些。
邮件发送了之后,陆舟随手将自己的灵感记录在了本