202611502

BB(5) の値が 2024 年に決定した (証明された) らしい。

BB(5) - BusyBeaverWiki

個々のチューリングマシンの非停止性の証明ってどれくらい難しいんだろう。

Skelet 17 - BusyBeaverWiki

ふむ (ごめんなさい途中で読むのをやめました)。ちなみに BB(6) は Collatz-like な問題を含み、現在の人類では手の届かない問題らしい。