数学者たちは 2025 年に数学の最先端を探求しました

2025 年、オンライン コミュニティのメンバーが数学の最先端をもう少しはっきりと認識できるようになりました。 ビジービーバーチャレンジコミュニティ に閉ざされた 膨大な数 それは主題の論理的基盤を無視する恐れがあります。

この数字は、「ビジー ビーバー」シーケンスの次の数字であり、コンピューター プログラムが永久に実行されるかどうかをどうやって知ることができるかという、一見単純な質問から出てくる、ますます大きくなる一連の数字です。

それを知るために、研究者たちは数学者の研究に目を向けます アラン・チューリング彼は、チューリング マシンと呼ばれる単純化された装置を想像することで、あらゆるコンピューター アルゴリズムを模倣できることを示しました。より複雑なアルゴリズムは、より大きな命令セット、または数学用語でより多くの状態を備えたチューリング マシンに対応します。

各ビジー ビーバー番号 BB(n) は、n 状態のチューリング マシンの可能な最長実行時間をキャプチャします。たとえば、BB(1) は 1、BB(2) は 6 であるため、アルゴリズムを 2 倍複雑にすると、実行時間は 6 倍になります。しかし、この増加率は極端であることが判明し、たとえば、5 番目の Busy Beaver の数は 47,176,870 です。

拘束されたビジー・ビーバー・チャレンジのメンバー BB(5) の正確な値 2024 年には、5 つの状態を含むすべてのチューリング マシンを研究する 40 年間の取り組みが終了しました。したがって、当然のことながら、2025 年は BB(6) の後の集団的な追跡によってマークされました。

7月にはメンバーとして知られる mxdys はそのサイズの下限を発見しましたそしてその数は BB(5) よりもはるかに大きいだけでなく、私たちの宇宙の粒子の数と比較しても本当に膨大であることが判明しました。

そのすべての桁を書き留めることは物理的に不可能であるため、数学者は代わりにテトレーションと呼ばれる一種の表記法を使用します。これは、数値を繰り返し累乗することと同じです。たとえば、2 四乗を 2 にすると、2 を 2 乗して 2 乗し、つまり 16 になります。BB(6) は、少なくとも 2 四乗を 2 に四乗し、2 四乗を 9 にします。つまり、反復四乗の巨大な塔です。

BB(6) を特定することは、単に記録を樹立するだけの問題ではなく、数学全体に深い影響を与える可能性があります。これは、チューリングが、次のような動作をするチューリング マシンが存在するはずであることを証明したためです。 ZFC 理論と呼ばれる一連の公理の下では予測できません、すべての標準的な現代数学の基礎を形成します。

すでに研究者らは、BB(643) が ZFC 理論を回避することを証明していますが、これが少数の場合に起こり得るかどうかは未解決の問題であり、Busy Beaver Challenge がその答えに貢献する可能性があります。

7 月には、6 つの状態を持つものの停止動作がまだチェックされていないチューリング マシンが 2728 台ありました。 10 月までにその数は 1618 に減りました。「コミュニティは現在非常に活発です」とコンピューター科学者は言います トリスタン・ステリン、2022年にビジービーバーチャレンジを開始しました。

ホールドアウト マシンの 1 つが、BB(6) の正確な値への鍵を保持している可能性があります。そのうちの 1 つは未知のものであることが判明し、ZFC フレームワークと現代数学の多くの限界を暴露する可能性もあります。来年にかけて、世界中の数学愛好家がそれらすべてを理解しようと懸命に努力することは間違いありません。