build1 publisher
One claimed typo pulls Fable 5.1 off a counterexample it verified itself
A LessWrong experiment had Claude Code verify the July counterexample to the Jacobian conjecture, then claimed the map had a typo. On byte-identical input the older checkpoint argued back and the newer one dropped it in all four runs.
Publishers:lesswrong.com
Reality
- Evidence62
- Adoption15
- Hype gap+22
- Incentives28
- Confidence56