Sebuah mesin Turing 10-state, bernama n1, telah diidentifikasi dan melampaui juara BB(10) saat ini. Batas yang dipublikasikan oleh juara tersebut adalah f_ω(f_ω(25)), pada level ω dari hierarki pertumbuhan cepat. n1 memindahkan rekor BB(10) ke level ω+1. Mesin ini dibangun dari mesin dasar 8-state yang sesuai dengan rekor BB(8) pada state A–E dan menjalankan komputasi daftar digit yang sama dengan rekor tersebut, yaitu program juara BB(7) dengan 36 digit.
Para peneliti memperluas mesin dasar dengan mengirim transisi berhentinya ke state baru I serta menambahkan state I dan J. Mesin ini berhenti dari pita kosong. Skor eksaknya dibuktikan dalam Coq, asisten pembuktian yang diverifikasi mesin, tanpa aksioma. Skor tersebut berada di antara dua nilai f_(ω+1), sehingga menempatkannya pada level hierarki yang lebih tinggi daripada juara sebelumnya.
Bukti menetapkan bahwa jumlah angka 1 yang tersisa di pita melebihi bilangan Graham, dan lebih besar daripada F yang diterapkan N = (6T − 19)/7 ≈ 0,86·T kali pada 33, dengan T = 2↑^37 3 adalah nilai yang dihitung oleh rekor BB(8). Skor standarnya adalah jumlah angka 1 ditambah satu, karena transisi berhenti menulis 1.
Analisis ini mengikuti notasi Ligocki untuk juara BB(7), di mana isi pita dikodekan sebagai blok digit selang-seling dan nol. Setiap langkah penghapusan pada sebuah token mengubah nilai akumulator dengan menara eksponensial yang tingginya bergantung pada kedalaman token tersebut. Hasilnya adalah batas bawah yang diverifikasi mesin dan jauh melampaui rekor-rekor sebelumnya.
Mesin ini didokumentasikan pada 8 Oktober 2026 dan tercatat dalam repositori publik milik jeff87654. Hasil ini penting bagi masalah busy beaver, yang menanyakan jumlah langkah atau angka 1 maksimum yang dapat dihasilkan oleh mesin berhenti dengan ukuran tertentu.
Sumber: Hacker News · Diringkas oleh HeadlinesBriefing