Question: Have you actually used AI to do research-level math? At the current time, it is not "tackle any problem you wish and you can get headline results in ~3 hours." Their method is spraying-and-praying across the entire mathematical frontier, which is something only AI demonstrators are interested in. And as far as I know, they have never elaborated on what their "average of 3 hours" metric even means (e.g. including or excluding all unsuccessful leads?).