那是1919年5月14日的下午,人在北京访问友人的日本数学家,哲学家李田所先生收到了来自在日友人张三浦先辈的来信,内容除了有三浦对于当时数学界情况和1897年第三次数学危机的看法,还有举世闻名的一段话:
我说田所啊,去年我在研究阿贝尔群的时候,你偷看了吧?
我认为,任何小于无限的自然数,甚至是整数,甚至是有理数都能以著名数字"114514"排列的四则运算式表示.我这里已经证明出1~300了,但是由于纸张空白处太少,我这里写不下了.昨天试图证明黎曼猜想的时候用完了.
但是还没等到田所先生回到日本,三浦先生就因为支持左翼组织推翻天皇而被激进分子刺杀.悲痛欲绝的田所先生便继承三浦的遗愿,在世田谷区新建造的木屋中与助手远野研究三浦的猜想.猜想也因此称为田所 - 三浦 - 远野猜想.大正时代建造的房屋仍保存至今.1930年,田所浩二先生宣布此猜想对于前20000个自然数成立.在猜想提出的100年后的2019年,学者itorr更是通过脚本证明了1919810个自然数,还将源代码公开至Github.
这么臭的数字有论证的必要吗(半恼)