Hacker News new | ask | show | jobs
by booi 409 days ago
I bet DeepSeek-Prover-V2 wouldn't have made that mistake