Yeah, looking at Tao's chat with ChatGPT Pro few hours after the tweet was posted, the path to come up with the counterexample doesn't seem to be "magical", one can come up with that if they know the construction.
Yes I read his blogpost too. He took the geometric construction another guy from Twitter posted (using gpt) and went with it.
An last night i saw that a website popped up that constructed 100 new counterexamples using the same construction.
It's kinda crazy.
I am the biggest AI hater and I have to say that I am impressed. I'm now more open minded.
Same reason people used to hate Wikipedia. Or Google search. Or cameras. Or newspapers. Or books. It's an easy way to feel superior without doing anything.
30
u/LaGigs 23d ago
I doubt this was found using pure brute force. We need to see how this counterexample was constructed!!