Vinci Technical Report No. 3
- Originally published
- Version
- 1.0
- Authors
- George Pu
Released technical report · not peer reviewed
Does passing a check mean an answer is right?
Runtime Pass Is Not Correctness
Why it matters A passed test can look reassuring. It only helps if the test can tell a correct answer from a wrong one.
- What we learned
- Our training experiment missed its targets. An audit also found that the original code-checking test accepted deliberately wrong shortcut programs. We withdrew or paused the claims that depended on that test.
- What this does not establish
- The replacement test had not yet been shown to catch the required mistakes. This work produced no model for release and does not establish reliable checking for other tasks.






