LLMエージェントを用いたテリー・タオ氏による24のJavaアプレットのJavaScriptへの移植 — 元のコードにバグを発見

テレンス・タオが、LLMベースのコーディングエージェントを使って、1999年に作成した24個の古いJava 1.0アプレットを現代のJavaScriptに移植し、さらに2つの新しいインタラクティブ可視化ツールをゼロから構築した詳細な記録を公開しました。この実験は、非自明なプログラミングタスクにおけるLLM生成コードの威力と現在の限界を示しています。

24のJavaアプレットをJavaScriptに移植

タオのアプレットはもともと複素解析や線形代数の講義用に作成されましたが、ブラウザがJava 1.0のサポートを終了したため動作しなくなりました。彼は匿名のLLMエージェント（おそらくClaudeかGPT-4）を使用し、すべてのアプレットをJavaScriptに移植するよう依頼しました。エージェントは「数時間」で移行を完了しました。結果として得られたアプレットはグラフィカルに向上し、例えばベシコビッチ集合のアプレットは元のモノクロから彩色されました。

コードの品質は驚くほど高かったとタオは報告しています：

見つけられたバグは1つだけ（複素解析のアプレットの1つで、メインボックス外にドラッグしたときの動作に問題があった）で、実際にはエージェントが元のコードにあって私が気づいていなかった2つのバグを発見しました。

元の2つのバグはエージェントがプロンプトなしで発見したもので、移植によってバグ数は実質的に相殺されました。タオは、これらのアプレットは数学的証明の重要な構成要素ではなく視覚的な補助に過ぎないため、リスクは低いと述べています。

新アプリ：ミンコフスキー空間描画ツール

移植の成功に触発され、タオは1999年に放棄したプロジェクトを復活させました。それは特殊相対性理論のための「ミンコフスキー空間版Inkscape」です。エージェントとの2時間の「バイブコーディング」の後、彼は当初の構想を実現する動作するアプレットを作成しました。会話の転記は公開されていますが、退屈な技術的実装の報告は省略されています。

新アプリ：ギルブレイト予想可視化ツール

同日のギルブレイト予想に関するブログ記事に続き、タオはエージェントに論文に付随するインタラクティブ可視化ツールのコーディングを依頼しました。さらに数時間後、可視化ツールが公開されました。彼は将来の論文にもこのような補足資料を追加する予定で、LLMが生成したバグのリスクを受け入れています。なぜなら可視化は非クリティカルだからです。

開発者への実践的な教訓

• LLMエージェントはレガシーコード（Java 1.0）を現代のJSに高い忠実度で移植できる——24のアプリ全体で新しいバグはわずか1つ。
• エージェントは元のコードに潜むバグを見つける可能性があるため、新旧両方のコードを必ずレビューすること。
• 「バイブコーディング」（手動デバッグを最小限にした反復的プロンプト）は、スタンドアロンの可視化アプリに有効。
• 非クリティカルな補足資料にはリスクが許容可能だが、ミッションクリティカルなシステムには人間による検証が依然として必要。

転記や復活したアプレットへのリンクを含む完全な詳細は、以下のソースにあります。