Will we achieve pretty clear evidence of high goodness for Function Correctness v2.0 in two weeks? | Manifold

Will we achieve pretty clear evidence of high goodness for Function Correctness v2.0 in two weeks?

0

50

resolved Jul 27

Resolved

NO

1H

6H

1D

1W

1M

ALL

Get

1,000

to start trading!

People are also trading

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Will LLMs be able to formally verify non-trivial programs by the end of 2025?

Will we get very strong evidence that the universe is Turing computable by 2030?

Related questions

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Will LLMs be able to formally verify non-trivial programs by the end of 2025?

Will we get very strong evidence that the universe is Turing computable by 2030?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules