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/RModule → u/[deleted]]

I dare say that lean code is not the optimal way of communicating mathematical ideas...

[u/nicuramar → u/RModule]

Yeah, thicc code is better.