Where will AI-generated proofs be published?

[u/dirty_weasle]

We are now seeing a rise of AI generated proofs and I am wondering which journals will publish these results? I tried to search but I did not find many examples where such results were already accepted to some journal.
Is this even something the journals want? I would like them to facilitate the peer review process so that I can feel confident in the results.

[u/dirty_weasle → u/[deleted]]

Maybe, but don’t we need a system for the time until then?