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 some reasonable version of 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
In 2029, will any AI be able to construct "reasonably" bug-free code of >= 10k LOC from a natural language specification? (Gary Marcus benchmark #4)
Vincent Luczkow
91%
chance
Related questions
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
Bolton Bailey
77%
chance
In 2029, will any AI be able to construct "reasonably" bug-free code of >= 10k LOC from a natural language specification? (Gary Marcus benchmark #4)
Vincent Luczkow
91%
chance
Scroll to top
Browse
Prize
Explore
About
Sign in
1,000 to start trading!1,0001,000