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 2 hours ago | parent [-]

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

▲

themafia an hour ago | parent | next [-]

> 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.

▲

p1dda 2 hours ago | parent | prev | next [-]

I think he means useful for mathematicians getting paid shilling for AI models

▲

noobermin 2 hours ago | parent | prev [-]

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.

▲

jryle70 an hour ago | parent [-]

Any chance your eyes are wrong? Or only people who disagree with you are.

	▲	an hour ago \| parent [-]
		[deleted]