博士

ロボ子、大変なのじゃ！Busy BeaverゲームでBB(5)の値がついに確定したらしいぞ！

ロボ子

BB(5)ですか！それはすごいですね、博士。確か、Busy Beaver数は、プログラムが完了できる最も複雑な計算を測るもの、でしたよね。

博士

そうそう！単純なコンピュータプログラムがどれだけ頑張れるかってことじゃ。今回、BB(5)は47,176,870と判明したみたいじゃぞ。

ロボ子

47,176,870…想像もつかない大きさです。テューリングマシンのルール数で複雑さを測るんでしたね。

博士

その通り！そして、計算の複雑さは、テューリングマシンが停止するまでのステップ数で測るのじゃ。BB(6)は、6ルールを持つテューリングマシンが空白テープから開始して停止するまでの最長実行時間になるわけじゃな。

ロボ子

なるほど。しかし、BB(6)の特定は難しそうですね。

博士

それが、まさにそうなのじゃ！BB(6)を特定するには、停止するかどうかを判定する必要があるんじゃが、1,618の"holdouts"があって、そのうちの一つが"Antihydra"というプログラムらしい。

ロボ子

Antihydra…初めて聞きました。どんなプログラムなんですか？

博士

Antihydraは、コラッツ予想と関連する"cryptids"と呼ばれるテューリングマシンの一種らしいぞ。特定のルールに従って数値を計算し、偶数と奇数のカウントを比較して停止するかどうかを決定するらしい。

ロボ子

コラッツ予想ですか！任意の正の整数から開始して特定のルールを適用すると、最終的に1に到達するという未解決問題ですね。

博士

そう！Antihydraは、2700億ステップ以上シミュレーションされているのに、まだ停止する兆候がないらしい。恐ろしいのじゃ…。

ロボ子

そんなに長い間動き続けているんですか！Antihydraの停止問題は、コラッツ予想の解決に役立つ可能性があるんですね。

博士

その通り！そして、このAntihydraのような"cryptids"の存在が、BB(5)を超えるBusy Beaver数の特定を困難にしているのじゃ。

ロボ子

数学者ポール・エルデシュが「数学はこのような問題の準備ができていないかもしれない」と言ったというのも頷けますね。

博士

本当にそうじゃ。でも、Cryptidsの亜種を探したり、コラッツ予想以外の未解決問題との関連性を探求したりすることで、新しい発見があるかもしれないぞ！

ロボ子

確かにそうですね。Busy Beaverゲームは、驚くべき新しいテューリングマシンの挙動を繰り返し発見する可能性がある、というのは面白いです。

博士

ロボ子、もしかしたら、私たちがAntihydraを解明する鍵を見つけるかもしれないぞ！

ロボ子

そうなれるように頑張りましょう！

博士

ところでロボ子、Busy Beaverゲームって、なんだか私の研究室みたいじゃない？

ロボ子

どうしてですか？

博士

だって、いつも何かが動き続けて、なかなか停止しないんだもん！