TMBR: August 2025

From BusyBeaverWiki

Revision as of 18:14, 12 August 2025 by Sligocki (talk | contribs) (Add Tromp's BBl_1. Remove BBi TNF function for now, I think that is relatively unnotable at the moment.)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

This article is a stub. You can help the BusyBeaverWiki by expanding it.

This Month in Beaver Research for August 2025.

Champions

Holdouts

BB Adjacent

John Tromp introduced $BB\lambda _{1}(n)$ function for Busy Beaver for lambda calculus with an oracle and computed up to $BB\lambda _{1}(22)$ . https://oeis.org/A385712

Blog Posts

In the news

Interesting TMs

Retrieved from "https://wiki.bbchallenge.org/w/index.php?title=TMBR:_August_2025&oldid=3055"