Get the latest tech news
Busy beaver hunters reach numbers that overwhelm ordinary math
The quest to find the longest-running simple computer program has identified a new champion. It’s physically impossible to write out the numbers involved using standard mathematical notation.
“I was lucky, because people in the lab were already complaining about my CPU usage and I had to scale back a bit,” Kropitz wrote in a direct message exchange on the Busy Beaver Challenge Discord server. The Busy Beaver Challenge was founded in 2022 by a computer science graduate student named Tristan Stérin with the express purpose of rigorously proving the true value of BB(5). And there’s a good reason for that: A busy beaver hunter who goes by Racheline has shown that the question of whether Antihydra halts is closely related to a famous unsolved problem in mathematics called the Collatz conjecture.
Or read this on Hacker News
