Will we achieve pretty clear evidence of high goodness for Function Correctness v2.0 in one week?
0
15
Ṁ50
resolved Jul 27
Resolved
NO1D
1W
1M
ALL
Get Ṁ200 play money
Related questions
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
52% chance
Will I think that the Belief State Geometry research program has achieved something important by October 20th, 2026?
22% chance
When will we have a fully formalized proof of the Poincare Conjecture?
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 there be definite proof of God by 2030?
5% 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