HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by smusamashah | Hacker News Reader
Parent
Full thread
smusamashah
·
Sorry, forgot multiply by 100
View on HN
booi
·
I bet DeepSeek-Prover-V2 wouldn't have made that mistake
gallerdude
·
classic human hallucination
Reply on news.ycombinator.com