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
2
Guest
$50 USD since Sep 2024
3
Incognito
$50 USD since Sep 2024
Justin Blanchard
$5 USD since Dec 2024
The Busy Beaver Challenge is all of us
Our contributors 5
Thank you for supporting The Busy Beaver Challenge.
Tristan Stérin
Admin
Guest
One time 100$
$100 USD
Guest
$50 USD
Inkognito
One time 50$
$50 USD
Justin Blanchard
backer
$5 USD
Budget
Transparent and open finances.
+$5.00USD
Completed
Contribution #816087
Credit from Incognito to The Busy Beaver Challenge •
+$50.00USD
Completed
Contribution #792603
Credit from Guest to The Busy Beaver Challenge •
+$100.00USD
Completed
Contribution #791058
$
Today’s balance$174.58 USD
Total raised
$174.58 USD
Total disbursed
--.-- USD
Estimated annual budget
$260.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