The speaker is not aware of AI systems generating new mathematical insights, insightful questions, or new theoretical frameworks.

“next like open to those problems but maybe like i don't know people didn't weren't trying that hard and it was just like there was a similar solution somewhere in the literature and now i just think it's sort of undeniable right it's like this is the millennium price problem there's there's really no there's no story of why this should have been easy now a lot of people pointed out i think terry tau would have posts like this toby ord wrote an interesting post about this that they're solving all these problems but they're not like coming up with at least we're i'm not aware of them coming up with”

“up with new insights or formulating insightful new questions and new modes of theory for thinking about mathematics,”

“like coming up with like topology or coming up with the Cartesian grid or something.”