Batas bawah BB(6) terus meningkat dari >10^36534 menjadi >^15 10 melalui hasil Pavel Kropitz.
Tim BBchallenge (mxdys) selanjutnya membuktikan BB(6) >^10.000.000 10 dengan bukti formal di Coq.
Batas terkini menunjukkan BB(6) ≥ 2 tetrasi 2 tetrasi 2 tetrasi 9, setara dengan pentasi 5.
Ukuran BB(6) sangat besar hingga analoginya dapat mengisi ^10.000.000 10 salinan alam semesta teramati menggunakan butiran pasir.
Pertumbuhan fungsi Busy Beaver melonjak drastis antara n=5 (47 juta) dan n=6 (nilai tak teramati).
Diskusi muncul tentang kemungkinan nilai BB(n) menjadi independen terhadap aksioma ZFC pada n sekitar 7 hingga 9, daripada n=643 seperti sebelumnya.
Postingan juga mencakup pembaruan singkat kegiatan penulis di konferensi STOC 2025.
Get notified when new stories are published for "Berita Peretas 🇮🇩 Bahasa Indonesia"