BB(6) har fået forbedret den nedre grænse fra 10^36 534 til ^15 10.
Senere blev grænsen øget til BB(6) > ^10 000 000 10 med korrekthedsbevis i Coq.
Mest nyligt er BB(6) > 2 tetreret til 2 tetreret til 2 tetreret til 9, svarende til 2 pentation til 5.
Det foreslås, at den ekstreme vækst i BB-funktionen kan medføre uafhængighed af ZFC allerede for n omkring 7–9 i stedet for 643.
Forbedringerne bygger på 6-tilstands Turing-maskiner med Collatz-lignende iterationer, hvor hvert trin eksponentierer det forrige tal.
BB(5) er på ca. 47 millioner trin, mens BB(6) nu er hævet til uoverskuelige giganttal gennem itererede eksponentieringer og tetration.
Get notified when new stories are published for "🇩🇰 Hacker News Dansk"