Skip to main content
MANIFOLD
Browse
Prize Drawing
Predictle
About
App
Sign up
Get
1,000
to start trading!
Open options
More
MANIFOLD
Sign up
Open options
Will we achieve pretty clear evidence of high goodness for Function Correctness v2.0 in two weeks?
Fabien
0
Ṁ50
resolved Jul 27
Resolved
NO
1H
6H
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Market context
Generate
Sign up
Get
1,000
to start trading!
Comments
Open options
People are also trading
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
Bolton Bailey
77%
chance
Will we get very strong evidence that the universe is Turing computable by 2030?
Levi Bankman Finkelstein
14%
chance
Related questions
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
Bolton Bailey
77%
chance
Will we get very strong evidence that the universe is Turing computable by 2030?
Levi Bankman Finkelstein
14%
chance
Scroll to top
Browse
Prize
Explore
About
Sign in