TMBR: August 2025

From BusyBeaverWiki

Revision as of 15:38, 14 August 2025 by Sligocki (talk | contribs) (Link to new section in wiki.)

(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)$ .

Blog Posts

In the News

Interesting TMs

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