La borne inférieure de BB(6) a été portée à plus de 10 tetré 10 répété 10 000 000 fois, avec une preuve formelle en Coq.
Cette limite a ensuite été encore améliorée à BB(6) > 2 tetré 2 tetré 2 tetré 9, équivalent à au moins 2 penté 5.
Ces découvertes illustrent l’expansion vertigineuse de la fonction Busy Beaver entre 5 et 6 états.
Scott Aaronson suggère que l’indépendance de BB(n) aux axiomes ZFC pourrait survenir dès n=7 à 9, bien en deçà de n=643 actuellement connu.
Get notified when new stories are published for "🇫🇷 Hacker News Français"