TMBR: August 2025

From BusyBeaverWiki

Revision as of 14:36, 13 August 2025 by Polygon (talk | contribs) (Improved sentence)

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