[tim333]

>no technology which can solve grade school maths problems would be viewed as a breakthrough ...

Not perhaps in the sense of making mathematicians redundant but it seems like a breakthrough for ChatGPT type programs.

You've got to remember these things have gone from kind of rubbish a year or so ago to being able to beat most students at law exams now and by the sounds of it beat students at math tests shortly. At that rate or progress they'd be competing with the experts before very long.