Comment Comment by mrabcx Tried the same prompt in DeepSeek 4https://chat.deepseek.com/share/nyuz0vvy2unfbb97fvComes up with a proof. parent mrabcx 6 months ago
https://chat.deepseek.com/share/nyuz0vvy2unfbb97fv
Comes up with a proof.