3 ms·Yes, those are utility arguments. So don't we get more utility if AI now spews out lots of new math results?by pfdietz 4mo agoYes, those are utility arguments. So don't we get more utility if AI now spews out lots of new math results?