yes GPT can do it too ;-). I highly recommend looking at Codex's write-up, its reasoning to find the counterexample is superb. So much for "the illusion of thinking" 😅.
Also @aaron_lou's tweet includes the exact prompt he used on our internal Codex.
Sebastien Bubeck says GPT, using Codex, found a counterexample to a math problem, with its reasoning described as superb. He highlights that Codex's write-up undermines the "illusion of thinking" argument and shares the exact prompt used on internal Codex.
yes GPT can do it too ;-). I highly recommend looking at Codex's write-up, its reasoning to find the counterexample is superb. So much for "the illusion of thinking" 😅.
Also @aaron_lou's tweet includes the exact prompt he used on our internal Codex.
Congrats to Levent for discovering this! OOC I had an internal version of Codex attempt a proof too (without web search), and it discovered (essentially) the same counterexample! It wrote up a nice summary of the strategy here: https://aaronlou.com/jacobian_counterexample_derivation.pdfView quoted post on X
Source: Sebastien Bubeck · x.comPublished · added here