とある数学の証明、そのファイルサイズが13GBにも及んだためチェックが困難に
タレコミ by Anonymous Coward
あるAnonymous Coward 曰く、
「長すぎてチェックできない」という、数学的問題に対する証明が話題になっている(本家、NewScientist)。 その問題とは、数学者ポール・エルデシュが予想した未解決問題の1つで、I PROGRAMMERにて解説されているが、「とある数列x n が与えられたとき、任意の自然数Cに対し、適切な正の整数kとdを選択すれば|Σ k i=1 x id | > Cを満たす数列x d , x 2d , x 3d ,...x kd が存在する、というものらしい。 この問題に対し、コンピュータを使って証明を試みた結果、その証明は13GBにもおよぶものになってしまったという。この試み事態が論文として公開されている(A SAT Attack on the Erdos Discrepancy Conjecture)が、これは「人間が読み切れないほどの証明というのは認められるべきなのか」というまた新たな問題を引き起こす結果となったようだ。
とある数学の証明、そのファイルサイズが13GBにも及んだためチェックが困難に More ログイン