検証できない場合、コンピューターソリューションを信頼できますか？

覚えているなら、レイ・カーツワイルは、今世紀の30年代にすでに特異点の到着を約束した。 リバプール大学で働いているアレクセイ・リシツァとボリス・コネフの2人は、エルデミスのミスマッチ問題を立ち上げました。 タスクは未解決とみなされ、研究者によって開始されたプログラムはタスクに対処しました。 しかし！ 問題は、ソリューションの証拠自体が13 GBを占有し（再び、本質的に証拠であるテキストログファイルは13 GBを使用する）、検証が困難なことです。 これは簡単な質問です。計算を確認できない場合、コンピューターのソリューションを信頼できますか？







この場合、多くのメディアは特定のルビコンを検討しました。これを超えると、多くの科学的計算が「検証不可能」のカテゴリに分類されます。 はい、それらをテストするために、他のアルゴリズムで実行される別のプログラムを実行できますが、多少似たロジックでも動作します。 そして、再帰的な質問が発生します-ソリューションの検証を信頼することはできますか？



実際、ここに追加するものはありません。 数学的実験の詳細とプログラムの名前に興味がある場合は、ロシア語で良い説明があります。ここに元の英語の研究があります。