logoalt Hacker News

mrabcx • today at 12:03 PM • 1 reply • view on HN

Tried the same prompt in DeepSeek 4

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

Comes up with a proof.

Replies

adamgordonbell • today at 2:14 PM

Are these proofs equivalent? Pretty cool if so.

➕ show 1 reply