TMBR: February 2026: Difference between revisions
Jump to navigation
Jump to search
Added BB(7) holdout reduction |
RobinCodes (talk | contribs) →Holdouts: BB(7) progress |
||
| Line 10: | Line 10: | ||
== Holdouts == | == Holdouts == | ||
*[[BB(7)]]: | *[[BB(7)]]: | ||
**Andrew Ducharme has reduced the number of holdouts from 19,303,801 to '''18, | **Andrew Ducharme has reduced the number of holdouts from 19,303,801 to '''18,254,545''' (a 5.44% reduction) using the newly released mxdys FAR decider. | ||
Revision as of 20:38, 9 February 2026
| Prev: January 2026 | This Month in Beaver Research | Next: March 2026 |
This edition of TMBR is in progress and has not yet been released. Please add any notes you think may be relevant (including in the form a of a TODO with a link to any relevant Discord discussion).
This Month in Beaver Research for February 2026.
Talks
- Tristan Stérin announced that the paper "Determination of the fifth Busy Beaver value" was accepted for the 58th ACM Symposium on Theory of Computing (STOC 2026), and there would be a talk at the event in Salt Lake City in June 2026
Holdouts
- BB(7):
- Andrew Ducharme has reduced the number of holdouts from 19,303,801 to 18,254,545 (a 5.44% reduction) using the newly released mxdys FAR decider.