I don't think this is likely to happen. There is almost surely a class of interesting questions it takes AGI to answer but a math PhD to pose.