Knuthは、残念ながら「vibematicing」と呼ぶ非常に面白いAIの利用を強調する論文を発表しました。「雰囲気」とは正反対です: 起こったのは、フィリップ・スタッパーズが非常に緻密な自己反省ループでクロードに問題を逐語的に渡したことです: ** exploreXXのpy実行後は、直ちにこのファイルを更新してください [plan md] 他のことをする前に。** 例外はありません。次の探索を始めないでください 前のものがここで記録されるまでは。 そして31ループすべてを綿密に検証しました。そして最終ループが成功したように見えた後、クヌースは結果を完全に検証するための正式な証明定理を書きました。電動工具を使った本物の数学で、とても面白いです! 幻覚機械の時代において、正式な証明研究が(笑、理解しました)非常に重要であることが証明されると言っても差し支えないと思います。