3 ms·I bet DeepSeek-Prover-V2 wouldn't have made that mistakeby booi 1y agoI bet DeepSeek-Prover-V2 wouldn't have made that mistake