Terence Tao a few days ago [1]:
> When we point the AIs at really difficult problems where none of the standard techniques apply, they are still very, very bad, I mean they're just randomly guessing.
Please don't reply saying they'll be proving the Collatz conjecture next week. It adds nothing.
[1] https://youtu.be/svl_1upFpQo (worth watching on the role of LLMs in maths)