There are several high value prizes for mathematical research. Let me know when an "AI" has earned one of them. Otherwise:
When Ryu asked ChatGPT, “it kept giving me incorrect proofs,” [...] he would check its answers, keep the correct parts, and feed them back into the model
So you had a conversational calculator being operated by an actual domain expert.
With ChatGPT, I felt like I was covering a lot of ground very rapidly
There's no way to convert that feeling into a measurement of any actual value and we happen to know that domain experts are surprisingly easy to fool when outside of their own domains.
I think the dude is well known in the math community, or something
I believe this is called "appeal to authority." Which is why, instead of disagreeing with him, I suggested a more cogent endpoint that could be used to establish the facts the article's title suggests.
Comments
There are several high value prizes for mathematical research. Let me know when an "AI" has earned one of them. Otherwise:
So you had a conversational calculator being operated by an actual domain expert.
There's no way to convert that feeling into a measurement of any actual value and we happen to know that domain experts are surprisingly easy to fool when outside of their own domains.
Wow that was your takeaway?
I think I’ll go out on a limb and agree with Terrence Tao, I think the dude is well known in the math community, or something
Is AI his specialty?
I believe this is called "appeal to authority." Which is why, instead of disagreeing with him, I suggested a more cogent endpoint that could be used to establish the facts the article's title suggests.
I think he means useful for mathematicians getting paid shilling for AI models
If anything his simping for AI models makes me more suspect of him than I ever was because my own eyes show me their limits.
Any chance your eyes are wrong? Or only people who disagree with you are.