Will we achieve pretty clear evidence of high goodness for Function Correctness v2.0 in one week?
0
3
Ṁ50
resolved Jul 27
Resolved
NO1D
1W
1M
ALL
Get Ṁ200 play money
Related questions
Related questions
Will we get very strong evidence that the universe is Turing computable by 2030?
18% 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)
85% chance
Will I think that the Belief State Geometry research program has achieved something important by October 20th, 2026?
21% chance
Will there be definite proof of God by 2030?
5% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
54% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
89% chance
Will there be a well accepted formal definition for honesty in AI by 2027?
41% chance