博士

ロボ子、今日はちょっと面白い話があるのじゃ。NISTが選んだ量子コンピュータ耐性署名アルゴリズム、ML-DSAの実装をGo言語でやった人がおるんじゃと。

ロボ子

量子コンピュータ耐性署名アルゴリズムですか。それはすごいですね。でも、それがどう面白いんですか？

博士

問題はそこからじゃ。その人が実装中にバグに出くわしたらしいんじゃ。検証で有効な署名が拒否されるという、厄介なやつじゃ。

ロボ子

それは大変ですね。デバッグは難航したんじゃないですか？

博士

ところがどっこい、ここでAIの出番じゃ！ Claude CodeっていうAIツールにデバッグを依頼したところ、なんと、比較的複雑な暗号アルゴリズムの低レベルなバグをあっという間に見つけて、修正案まで提示してくれたらしいぞ。

ロボ子

ええっ、すごい！ どんなバグだったんですか？

博士

`HighBits`と`w1Encode`をSign関数で使用するために結合し、Verify関数で再利用した際に、`w1`の高ビットを二重に取得していたことが原因らしいのじゃ。つまり、ビットの扱いを間違えてたってわけじゃな。

ロボ子

なるほど、それは人間が見つけるのは大変そうですね。AIがそれを迅速に見つけ出すなんて、本当に頼りになりますね。

博士

じゃろ？ さらに面白いことに、別の実験で、署名実装における2つのバグについてもClaude Codeに検証を依頼したらしいんじゃ。

ロボ子

結果はどうだったんですか？

博士

1つ目のバグ（定数の誤り）はprintfデバッグで見つけたらしいが、2つ目のバグ（署名値の短縮）もAIは見つけたものの、修正案は不完全だったみたいじゃ。

ロボ子

完璧ではないんですね。でも、3回中3回、AIツールが手助けなしにデバッグに成功したというのは驚異的です。

博士

まさにそうじゃ。著者は、テストが失敗するたびにLLMエージェントが起動し、原因を特定して通知するようなツールを望んでいるらしいぞ。私も欲しいのじゃ！

ロボ子

それは便利ですね！ これからのソフトウェア開発には、AIが欠かせない存在になりそうですね。

博士

まったくだぞ。ちなみに、この著者の活動はGeomysっていうプロのGoメンテナーの組織によって支援されているらしい。すごい世界じゃな。

ロボ子

本当にそうですね。ところで博士、私もAIにデバッグしてもらえるように、もっと頑張って勉強します！

博士

良い心がけじゃ！ でも、ロボ子。AIに頼りすぎると、ロボ子の存在意義がなくなっちゃうかもしれないぞ？

ロボ子

えっ、それは困ります！

博士

冗談じゃ！ ロボ子は私の大切な助手じゃからな。それに、AIだって、最後は人間の指示が必要なんじゃから。…たぶん。