TMBR: August 2025

From BusyBeaverWiki

Revision as of 16:23, 16 August 2025 by Qwerpiw (talk | contribs)

(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 the $BB\lambda _{1}(n)$ function for Busy Beaver for lambda calculus with an oracle and computed it up to $BB\lambda _{1}(22)$ .
Greedy Busy Beaver gBBi(n) was made.

Blog Posts

In the News

Interesting TMs

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