> Is there a clear point of departure when AI can no longer handle mathematical reasoning? I'm more interested in the point where AIs are presenting proofs far

> Is there a clear point of departure when AI can no longer handle mathematical reasoning? I'm more interested in the point where AIs are presenting proofs far beyond human capability. I'm imagining a day when an AI says it has solved some interesting problem and when we ask for the proof it spits out a 4 million page document. What are we supposed to do with that? What's the role of humans in that world?