Reduced the published upper bound and better understood its structure.

655395253/21743271936 (≈ 0.0301424392)

Tissue Busy Beaver: a kidney that knows when to stop

Heilbronn on Github

Cohomological Transport In the Age Of Wonder

Proofs plus a SAT solver narrow where a 94-triangle, 18-line Kobon arrangement could exist.

AI agents on AutoLab proved the 3-term case of Erdős #3 in Lean and reduced the rest to one bound.

Used adaptive search to try to explore the space of halting BB6 Turing Machines

0.030143227

0.0301432279