Metaculus
M
Questions
Tournaments
Leaderboards
News
More
create
Log in
a
/
文
Feed Home
🤖🔭
AI Benchmarking
🇺🇸
2024 US Election Hub
Topics
✨🔝
Top Questions
🗽🗳️
US Election Stakes
🕊️🌐
Global Elections
🇮🇱🇵🇸
Gaza Conflict
⏳🌀
5 Years After AGI
🦠🩺
Mpox outbreak
🇺🇦⚔️
Ukraine Conflict
🐦🦠
H5N1 Bird Flu
categories
🤖
Artificial Intelligence
🧬
Health & Pandemics
🌎
Environment & Climate
☣️
Nuclear Technology & Risks
See all categories
Hot
Movers
New
More
Filter
In 2040, what will be the smallest value of the busy beaver function known to be undecidable in Peano arithmetic?
89.2
4
1 comment
1
In 2040, what will be the smallest value of the busy beaver function known to be undecidable in ZFC set theory?
59.8
9
2 comments
2
Computability and Complexity
16
1 comment
1
Metaculus Journal
Will BB(5) be known by 2040?
Resolved :
Yes
8
14 comments
14
