Comment by alfiedotwtf

If we suddenly skipped 10 generations of mathematical lineage because of AI, wouldn’t it also be smart enough that you could just prompt it to connect ideas from graduate level maths all the way to the proof!