Will we achieve some reasonable version of Function Correctness v2.0(+) in one week?
0
50resolved Jul 27
Resolved
NO1H
6H
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will LLMs be able to formally verify non-trivial programs by the end of 2025?
30% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% 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)
80% chance