4 ms·
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
by themafia 6mo 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.
- gxs 6mo agoWow 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
- noobermin 6mo agoIf anything his simping for AI models makes me more suspect of him than I ever was because my own eyes show me their limits.
- jryle70 6mo agoAny chance your eyes are wrong? Or only people who disagree with you are.
- deleted 6mo ago[deleted]
- p1dda 6mo agoI think he means useful for mathematicians getting paid shilling for AI models
- themafia 6mo ago> 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.