← Back to context

Comment by mrabcx

2 hours ago

Tried the same prompt in DeepSeek 4

https://chat.deepseek.com/share/nyuz0vvy2unfbb97fv

Comes up with a proof.

1 comment

mrabcx

Reply

adamgordonbell 16 minutes ago

Are these proofs equivalent? Pretty cool if so.