単独のAIで数学研究を進めるのには限界があるだろう
新たなAIに研究成果を受け継いだり、複数のAIで共同研究したりできる仕組みが必要だろう
そのためにはAIが「論文」を出力して、他のAIに形式証明だけでなくアイデアも伝えられるようにする必要があるだろう
その「論文」が人間の理解できるものである必要は別にないと思う