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