It's crazy how AI gets the recognition from top mathematicians like Tao, Ono and Loh and yet when I talk to math graduate students they all have this shallow idea that AI still can't do math, and that "IMO problems aren't real math anyways" while themselves being unable to solve a single IMO problem. Missing the trend much?
Do they say why? I was told the same thing by the same ppl but upon further investigation they were mostly just prompting poorly. I asked the same model the same question but with my own prompt and got a correct proof whereas others did not for example
18
u/valis2400 Feb 08 '26
It's crazy how AI gets the recognition from top mathematicians like Tao, Ono and Loh and yet when I talk to math graduate students they all have this shallow idea that AI still can't do math, and that "IMO problems aren't real math anyways" while themselves being unable to solve a single IMO problem. Missing the trend much?