3 ms·
https://x.com/Kittoes0124/status/2079386024753443324 https://x.com/Kittoes0124/status/2079386024753443324 I'll have a third for you soon, here's the obligatory
by kittoes 2mo ago
https://x.com/Kittoes0124/status/2079386024753443324 https://x.com/Kittoes0124/status/2079386024753443324
I'll have a third for you soon, here's the obligatory result in a tweet. A detailed post about it is in the works.
- meowface 2mo agoIt's going to be pretty crazy when GPT-6 comes out, since the rumors are it's quite a bit smarter and wiser than GPT-5.6.
- kittoes 2mo agoMaybe, but I want to point out that even the lesser models are capable of hunting this stuff down. The most important thing is that you provide a decent path for them to follow.
- baq 2mo agoThat’s probably not interesting anymore, but 5.6 wasn’t able to name the conjecture when presented the notation only, but confirmed the proof and when told what it was, agreed it works. Much less psychosis than when given the Jacobian counterexample, at least.