1919年8月10日,24岁的著名青年数学家田所浩二提出了这样的猜想:是否任何实数都可以用几个数的简单运算来表示出来。这就是大名鼎鼎的野兽猜想。这个猜想一经提出,便吸引了全世界数学家的广泛关注。
在1919年的11月4日,田所浩二证明了任何实数都可以用1145141919810893364364以内的数字经过各种运算表示出来。不久之后,土耳其数学家凯末尔(Kimura)进一步缩小了这个范围,证明在1145141919810内的数字通过运算便能表示所有实数。此后,这个猜想的证明一直没有新的进展。丰田世纪的设计师特诺克(Tnok),同样也是一位数学史学者,在他的文章《代数胁迫!数学家的逆袭》中这样写到:“在凯末尔做出第二步证明之后的很长时间里,野兽猜想带来的困扰使整个数学界像下北泽的地下室一样黑暗。”
在本世纪初,事情发生了转机。随着114位计算机的普及,数学家们的算力得到了极大提升。一位中国数学家张三浦在练习完空手道后偶然萌生了利用计算机求证野兽猜想的想法,并将范围缩小到了几乎所有人都不敢相信的小——在5以内取得1、1、4、5、1、4这六个数便能表示任意给定的实数,并且同时证明了此范围不可能再被缩小。因为这项举世瞩目的成果,他获得了2019年的田所数学奖。
垂垂老矣的大数学家远野慨叹道:“历经一百年,这颗数学皇冠上的林檎终于被摘了下来。”
而张三浦则表示了对大数学家田所浩二的敬意和对他未能看到这一理论被证明的可惜。他说:“(指田所浩二)久逝啊。”
2019年8月10日,在猜想提出百年之际,张三浦在田所的故居处亲手栽下了一株林檎树。希望这株林檎能够载着田所“好时代,来临吧”的遗愿,见证数学界的继续前进!
在1919年的11月4日,田所浩二证明了任何实数都可以用1145141919810893364364以内的数字经过各种运算表示出来。不久之后,土耳其数学家凯末尔(Kimura)进一步缩小了这个范围,证明在1145141919810内的数字通过运算便能表示所有实数。此后,这个猜想的证明一直没有新的进展。丰田世纪的设计师特诺克(Tnok),同样也是一位数学史学者,在他的文章《代数胁迫!数学家的逆袭》中这样写到:“在凯末尔做出第二步证明之后的很长时间里,野兽猜想带来的困扰使整个数学界像下北泽的地下室一样黑暗。”
在本世纪初,事情发生了转机。随着114位计算机的普及,数学家们的算力得到了极大提升。一位中国数学家张三浦在练习完空手道后偶然萌生了利用计算机求证野兽猜想的想法,并将范围缩小到了几乎所有人都不敢相信的小——在5以内取得1、1、4、5、1、4这六个数便能表示任意给定的实数,并且同时证明了此范围不可能再被缩小。因为这项举世瞩目的成果,他获得了2019年的田所数学奖。
垂垂老矣的大数学家远野慨叹道:“历经一百年,这颗数学皇冠上的林檎终于被摘了下来。”
而张三浦则表示了对大数学家田所浩二的敬意和对他未能看到这一理论被证明的可惜。他说:“(指田所浩二)久逝啊。”
2019年8月10日,在猜想提出百年之际,张三浦在田所的故居处亲手栽下了一株林檎树。希望这株林檎能够载着田所“好时代,来临吧”的遗愿,见证数学界的继续前进!