Question

What will be the best proven upper bound on the infimum of S in 2120?

2 comments2

Total Forecasters13

Community Prediction5.06e-1

Make a Prediction

My Prediction

community

lower 25%

median

upper 75%

...

5.02e-1

5.06e-1

7.44e-1

Authors:

christian

Opened:

Closes:

Scheduled resolution:

What will be the best proven lower bound on the infimum of S in 2120?

5.03e-1

When will there be a new record for the best proven upper bound on the average rank of elliptic curves?

2029-04

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

89.2

Comments

? comments

Authors:

christian

Opened:

Closes:

Scheduled resolution:

How Mathematicians Wrestled with the Biggest Controversy in the Field

Scientific American•Oct 1, 2024

Everyone wants to know what AI is worth. One investor looked to the past for the $20 trillion answer.

Business Insider•Oct 4, 2024

SoftBank’s Masayoshi Son Says A.I. Will Soon Be 10,000 Times Smarter Than Humans

Observer (NY)•Oct 4, 2024

Learn more about Metaculus NewsMatch

What will be the best proven lower bound on the infimum of S in 2120?

5.03e-1

When will there be a new record for the best proven upper bound on the average rank of elliptic curves?

2029-04

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

89.2

MetaculusM

🚀Metaculus Open-Source Rewrite is Live!

What will be the best proven upper bound on the infimum of S in 2120?

Make a Prediction

What will be the best proven lower bound on the infimum of S in 2120?

When will there be a new record for the best proven upper bound on the average rank of elliptic curves?

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

Comments

What will be the best proven lower bound on the infimum of S in 2120?

When will there be a new record for the best proven upper bound on the average rank of elliptic curves?

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

What will be the best proven lower bound on the infimum of S in 2120?

When will there be a new record for the best proven upper bound on the average rank of elliptic curves?

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

What will be the best proven lower bound on the infimum of S in 2120?

When will there be a new record for the best proven upper bound on the average rank of elliptic curves?

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