10年以上に渡るプログラムが、百年以上の謎を解き明かす

二人の数学者が10年以上プログラムを実行し続け、長年未解明だった加法予想を最終的に反証しました。彼らが構築した巨大なデータベースを用いて、数百万もの結び目を処理し、予想を覆す反例を発見しました。この物語は、粘り強さと巧妙な方法の力を示しており、一見単純な数学の問題の中に潜む、計り知れないほどの困難さを浮き彫りにしています。