TMBR: February 2026: Difference between revisions
Jump to navigation
Jump to search
RobinCodes (talk | contribs) →Holdouts: Added BB(2,6) progress |
RobinCodes (talk | contribs) Added peano tm as todo |
||
| Line 4: | Line 4: | ||
[[:Category:This Month in Beaver Research|This Month in Beaver Research]] for February 2026. | [[:Category:This Month in Beaver Research|This Month in Beaver Research]] for February 2026. | ||
== Misc == | |||
TODO: independence from Peano (Legion) (see [[Logical independence]]) | |||
== Talks == | == Talks == | ||
Revision as of 05:30, 12 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.
Misc
TODO: independence from Peano (Legion) (see Logical independence)
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.
- BB(2,6):
- Andrew Ducharme continued reducing the number of holdouts, from 558,039 to 556,814 (a 0.22% reduction) using the newly released mxdys FAR decider.