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
Will a small Turing machine (< 100 states) be found with behavior that cannot be characterized by mathematical proof?
Resolved :
No
62 forecasters
8
4 comments
4
Will the Riemann Hypothesis be proved true, if it is proved by 2100?
92%
64 forecasters
12
7 comments
7
When will the Riemann Hypothesis be resolved?
2051-04-24
62 forecasters
22
21 comments
21
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
