Metaculus
M
Questions
Tournaments
Leaderboards
News
More
create
Log in
a
/
文
Feed Home
👥
Communities
🤖🔭
AI Benchmarking
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
12 forecasters
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
13 forecasters
9
2 comments
2
Computability and Complexity
16
1 comment
1
Metaculus Journal Archives
Will BB(5) be known by 2040?
Resolved :
Yes
36 forecasters
8
14 comments
14
