Will we achieve pretty clear evidence of high goodness for Function precondition correctness in one month?
0
8
Ṁ50
resolved Jul 27
Resolved
NO1D
1W
1M
ALL
Get Ṁ200 play money
Related questions
Related questions
Will the Collatz Conjecture be proved true by December 2024?
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
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
Will an inconsistency in the Calculus of Inductive Constructions be found before 2050?
4% chance
Will someone strengthen our Goodhart's Law result?
12% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
89% chance
When will we have a fully formalized proof of Fermat's Last Theorem?