The Busy Beaver Challenge
Fiscal Host: Open Source Collective
Deciding the undecidable, one Turing machine at a time.
Contribute
Become a financial contributor.
Financial Contributions
Top financial contributors
1
Guest
$100 USD since Sep 2024
Justin Blanchard
$80 USD since Dec 2024
3
Guest
$50 USD since Sep 2024
4
Incognito
$50 USD since Sep 2024
Vasudha
$50 USD since Aug 2025
6
J. Anonymous
$35 USD since Sep 2025
Seraphina Nix
$20 USD since Sep 2025
The Busy Beaver Challenge is all of us
Our contributors 8
Thank you for supporting The Busy Beaver Challenge.
Tristan Stérin
Admin
Guest
One time 100$
$100 USD
Justin Blanchard
backer
$80 USD
Guest
$50 USD
Inkognito
One time 50$
$50 USD
Vasudha
One time 20$
$50 USD
J. Anonymous
backer
$35 USD
Seraphina Nix
One time 20$
$20 USD
Budget
Transparent and open finances.
Credit from J. Anonymous to The Busy Beaver Challenge •
+$5.00USD
Completed
Contribution #880512
+$5.00USD
Completed
Contribution #816087
Credit from J. Anonymous to The Busy Beaver Challenge •
+$5.00USD
Completed
Contribution #880512
$
Today’s balance$221.18 USD
Total raised
$321.79 USD
Total disbursed
$100.61 USD
Estimated annual budget
$190.00 USD
About
Created in 2022, the Busy Beaver Challenge (https://bbchallenge.org) is a massively collaborative research project dedicated to the busy beaver problem.
In July 2024, bbchallenge achieved its initial goal which was to prove the 5th busy beaver value: "BB(5) = 47,176,870". The proof was written in Coq, a formal theorem prover. Our story was reported by Quanta magazine.
Since then, bbchallenge has been focused on writing a human readable paper for the BB(5) result and attacking new busy beaver values such as BB(6).
Raised funds are used for:
In July 2024, bbchallenge achieved its initial goal which was to prove the 5th busy beaver value: "BB(5) = 47,176,870". The proof was written in Coq, a formal theorem prover. Our story was reported by Quanta magazine.
Since then, bbchallenge has been focused on writing a human readable paper for the BB(5) result and attacking new busy beaver values such as BB(6).
Raised funds are used for:
- Recurring costs (website server)
- Financial support for contributors participating at conferences / events / journals where {papers,talks} spurred by the community have been accepted
- Helping with travel costs & event participation fee
- Helping with costs of publication / open access
- Organisation of a live workshop (either independent or at an existing event) for the bbchallenge community
Thank you very much for your help!
Our team
Tristan Stérin
Admin