Will we achieve some reasonable version of Function Correctness v2.0(+) in four weeks?
0
12
Ṁ50
resolved Jul 27
Resolved
NO1D
1W
1M
ALL
Get Ṁ200 play money
Related questions
Related questions
Will someone find a truth-telling vector which modifies completions in a range of situations by 2024-10-24?
58% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
60% chance
[Metaculus] Will we be able to tolerate a 5% physical error rate in quantum computing by 2032?
24% chance
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 superhuman mathematician by the beginning of 2026 (as defined here: https://twitter.com/ChrSzegedy/status/1598341927828594688)?
16% 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 an inconsistency in the Calculus of Inductive Constructions be found before 2050?
4% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
89% chance