4 ms·
Tried the same prompt in DeepSeek 4 https://chat.deepseek.com/share/nyuz0vvy2unfbb97fv https://chat.deepseek.com/share/nyuz0vvy2unfbb97fv Comes up with a proo
by mrabcx 5mo ago
Tried the same prompt in DeepSeek 4
https://chat.deepseek.com/share/nyuz0vvy2unfbb97fv https://chat.deepseek.com/share/nyuz0vvy2unfbb97fv
Comes up with a proof.
- adamgordonbell 5mo agoAre these proofs equivalent? Pretty cool if so.
- mrabcx 5mo agoNo, they do not seem to he equivalent. Not a mathmatician but running the Deepseek proof through ChatGPT gives: "If everything is made rigorous: You would have a valid independent proof It would contain real structural insight It would not replace the flow proof as the “best” proof But: It would still be a meaningful alternative proof with explanatory power, not just a redundant one."
- culi 5mo agoSo DeepSeek, GPT, and presumably many other LLMs are capable of solving this problem and even producing independent unique proofs. I wonder if this particular Erdos problem is unique in that solvability