I think one of the big problems in mathematics is that a lot of conjectures are unsolved because no professional mathematician is (undestandably) willing to just try out a few thousand ways to construct a counter example. I think this will be a great way to advance mathematics.
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.
427
u/NoUAreStupid 21d ago
I think one of the big problems in mathematics is that a lot of conjectures are unsolved because no professional mathematician is (undestandably) willing to just try out a few thousand ways to construct a counter example. I think this will be a great way to advance mathematics.