Comment by themafia
11 hours ago
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.
Wow that was your takeaway?
> “2025 was the year when AI really started being useful for many different tasks,” said Terence Tao
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
> go out on a limb and agree with Terrence Tao
Is AI his specialty?
> 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.
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.
1 reply →
I think he means useful for mathematicians getting paid shilling for AI models