• Questions
  • Tournaments
  • Services
  • News
  • Questions
  • Tournaments
  • Questions
  • Questions
Feed Home
👥
Communities
💎
Metaculus Cup
🤖
Q2 AI Benchmarking
🌍
USAID Outlook
🏛️
POTUS Predictions
💵
Fiscal Showdown
Topics
✨🔝
Top Questions
🐦🦠
H5N1 Bird Flu
🕊️🌐
Global Elections
⏳🌀
5 Years After AGI
🇮🇱🇵🇸
Gaza Conflict
🦠🩺
Mpox outbreak
🇺🇦⚔️
Ukraine Conflict
categories
🤖
Artificial Intelligence
🧬
Health & Pandemics
🌎
Environment & Climate
☣️
Nuclear Technology & Risks
See all categories
  • About
  • API
  • FAQ
  • forecasting resources
  • For Journalists
  • Contact
  • Careers
GuidelinesPrivacy PolicyTerms of Use
ForbesScientific AmericanTimeVoxYale NewsNature

Will a small Turing machine (< 100 states) be found with behavior that cannot be characterized by mathematical proof?

resultNo

When will the Twin Prime Conjecture be resolved?

This question is closed for forecasting. Latest Community prediction is displayed.

May 2043

Will the Riemann Hypothesis be proved true, if it is proved by 2100?

92%chance

When will the Riemann Hypothesis be resolved?

Dec 2043

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in Peano arithmetic?

76.3

In 2040, what will be the smallest value of the busy beaver function known to be undecidable in ZFC set theory?

59.8

Computability and Complexity

16
1 comment1
Metaculus Journal Archives

Will BB(5) be known by 2040?

resultYes