Question

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

2 comments2

Total Forecasters13

Community Prediction0.506

Make a Prediction

My Prediction

community

lower 25%

median

upper 75%

...

0.502

0.5065

0.744

Authors:

christian

Opened:

Closes:

Scheduled resolution:

Sam Altman says 'there is no wall' in an apparent response to fears of an AI slowdown

Business Insider•Nov 14, 2024

Scientists Establish the Best Algorithm for Traversing a Map

Wired•Nov 17, 2024

Learn more about Metaculus NewsMatch

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

0.503

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

2029-04-22

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:

Sam Altman says 'there is no wall' in an apparent response to fears of an AI slowdown

Business Insider•Nov 14, 2024

Scientists Establish the Best Algorithm for Traversing a Map

Wired•Nov 17, 2024

Learn more about Metaculus NewsMatch

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

0.503

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

2029-04-22

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

89.2