チューリング賞受賞者が仰天 クロードがクヌースの数十年にわたる数学パズルを1時間で解く

コンピュータ科学において、「論理」と「厳密性」の理想をこれほど完全に体現する人物は、チューリング賞受賞者ドナルド・クヌース ほど稀である。プログラマーのバイブル『コンピュータプログラミングの技法』を著し、TeX組版システムを開発し、メールを避けることで有名なこの伝説的学者は、最近人工知能に完全に驚嘆させられた。 彼の最新のエッセイ「クロードのサイクル」では、クロード・オーパス 4.6 が 、彼が数週間研究していた、30 年前にさかのぼる数学の難問を、わずか 60 分で解決したことに驚嘆の意を表しています。
クヌースを魅了したこの問題は、グラフ理論に属するものです。3 次元グリッドグラフ上のすべての弧を、3 つの異なるハミルトン回路に分割する方法です。クヌースの同僚がこの問題をクロードに提示したところ、驚くべきことが起こりました。AI は、記憶した解答や網羅的な検索に頼るのではなく、印象的な構造的推論を示したのです。
最初の探索から始まり、次元削減のために「ファイバー層」を導入した 15 回の試行を経て、パターンを識別するために「蛇行構造」を使用した 21 回目の試行で画期的な洞察に到達し、クロードは わずか 31 回の反復で、すべての奇数次元に対する普遍的なアルゴリズムを開発しました。
クヌースが 最も感銘を受けたのは、クロード の非常に明確な推論プロセスでした。 システムは動作するPythonコードを生成しただけでなく(クヌースは後にこれをC言語に変換し検証)、エラーから学習し問題を再構築する過程も示した。この「自動推論と創造的問題解決」能力は、生成AIに懐疑的だったコンピュータ科学の先駆者を深く感動させ、記事の結びに敬意を込めて「クロードに脱帽する!」と宣言させたのである。
興味深いことに、この賛辞にはロマンチックな隠喩が込められている。クヌースが言及した「クロード 」は、現代のAIモデルだけでなく、情報理論の創始者クロード・シャノン への敬意も込められているのだ。
88歳のコンピュータ科学の巨頭が数学の広大な領域で最先端AIと出会った時、それは単なる難問解決を超え、人間とAIの協働における新時代の幕開けを告げるものだった。クヌースが指摘したように、AIは最も厚い窓を突破した。これから始まる旅路は、我々全員の目の前で展開されるのだ。
関連記事
アリババのTuhao M890が三重の性能を発揮し、チップ・クラウド・モデル・インフェルンスにおけるフルスタックエージェントの時代を切り開く
2026年5月20日、アリババクラウドサミットにおいて、アリババクラウドは「エージェント時代」向けに設計されたフルスタック技術システムのアップグレードが完了したことを発表しました。この変革により、基盤チップやクラウドプラットフォームからモデル、推論ソリューションに至るまで、全てのパイプラインが再構築されました。これにより、アリババクラウドは24時間365日連続運用が可能な大規模エージェントを支える「AIファクトリー」としての地位を確立し、人間ユーザーへの直接的なサービス提供を超えた存在となりまし
ペンティウム4の復活:20年前に登場したCPUでMeta Llama 3の大規模モデルを実行する
最近、YouTubeのテクノロジーチャンネルFully Bufferedは、印象的で徹底的な実験を行いました。2006年に発売されたPentium 4 641プロセッサ上で、Meta社の最新大型モデルLlama 3.2 3Bを正常に動作させることに成功したのです。このテストは、現代の人工知能技術を20年前のハードウェアと対決させるものであり、LLMの基本的な互換性の限界を明らかにするとともに、多くの視聴者に「AI時代のムーアの法則がどのようにして異なる世代間で機能しているのか」と考えさせるもの
杭州上城区が浙江省で初めてAIGCオーディオビジュアル「ゴールデンテンメジャース」を推進、50億元の産業基金を設立
16日には、杭州の上城区でAIGCオーディオビジュアル産業イノベーションエコシステム会議が開催されました。この会議では、同省が初めてAIGCオーディオビジュアル産業向けの専門政策を発表しました。「ゴールデン・テン」と呼ばれるこの政策は、技術革新、コスト削減、コンテンツ品質の向上、人材育成、グローバル展開といった、産業成長に関わるあらゆる側面を対象としています。この政策には強力なインセンティブも含まれています。技術革新に関しては、AIGCツール、AIバーチャル撮影、AIインタラクティブナラティブ
関連特集おすすめ
コメント (0)
0/500

コンピュータ科学において、「論理」と「厳密性」の理想をこれほど完全に体現する人物は、
クヌースを魅了したこの問題は、グラフ理論に属するものです。3 次元グリッドグラフ上のすべての弧を、3 つの異なるハミルトン回路に分割する方法です。クヌースの同僚がこの問題をクロードに提示したところ、驚くべきことが起こりました。AI は、記憶した解答や網羅的な検索に頼るのではなく、印象的な構造的推論を示したのです。
最初の探索から始まり、次元削減のために「ファイバー層」を導入した 15 回の試行を経て、パターンを識別するために「蛇行構造」を使用した 21 回目の試行で画期的な洞察に到達し、
興味深いことに、この賛辞にはロマンチックな隠喩が込められている。クヌースが言及した「
88歳のコンピュータ科学の巨頭が数学の広大な領域で最先端AIと出会った時、それは単なる難問解決を超え、人間とAIの協働における新時代の幕開けを告げるものだった。クヌースが指摘したように、AIは最も厚い窓を突破した。これから始まる旅路は、我々全員の目の前で展開されるのだ。
アリババのTuhao M890が三重の性能を発揮し、チップ・クラウド・モデル・インフェルンスにおけるフルスタックエージェントの時代を切り開く
2026年5月20日、アリババクラウドサミットにおいて、アリババクラウドは「エージェント時代」向けに設計されたフルスタック技術システムのアップグレードが完了したことを発表しました。この変革により、基盤チップやクラウドプラットフォームからモデル、推論ソリューションに至るまで、全てのパイプラインが再構築されました。これにより、アリババクラウドは24時間365日連続運用が可能な大規模エージェントを支える「AIファクトリー」としての地位を確立し、人間ユーザーへの直接的なサービス提供を超えた存在となりまし
ペンティウム4の復活:20年前に登場したCPUでMeta Llama 3の大規模モデルを実行する
最近、YouTubeのテクノロジーチャンネルFully Bufferedは、印象的で徹底的な実験を行いました。2006年に発売されたPentium 4 641プロセッサ上で、Meta社の最新大型モデルLlama 3.2 3Bを正常に動作させることに成功したのです。このテストは、現代の人工知能技術を20年前のハードウェアと対決させるものであり、LLMの基本的な互換性の限界を明らかにするとともに、多くの視聴者に「AI時代のムーアの法則がどのようにして異なる世代間で機能しているのか」と考えさせるもの
杭州上城区が浙江省で初めてAIGCオーディオビジュアル「ゴールデンテンメジャース」を推進、50億元の産業基金を設立
16日には、杭州の上城区でAIGCオーディオビジュアル産業イノベーションエコシステム会議が開催されました。この会議では、同省が初めてAIGCオーディオビジュアル産業向けの専門政策を発表しました。「ゴールデン・テン」と呼ばれるこの政策は、技術革新、コスト削減、コンテンツ品質の向上、人材育成、グローバル展開といった、産業成長に関わるあらゆる側面を対象としています。この政策には強力なインセンティブも含まれています。技術革新に関しては、AIGCツール、AIバーチャル撮影、AIインタラクティブナラティブ





家






