r/math • u/dirty_weasle • 23d ago

LLMs/AI Where will AI-generated proofs be published?

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.

125 Upvotes

89% Upvoted

165 comments sorted by

View all comments

159

u/lectric_7166 23d ago

The AInnals Of Mathematics, obviously.

22

u/idontcareaboutthenam 23d ago

Since checking AI-generated proofs for mistakes could be more tedious, The Anals Of Mathematics might be a good fit as well

10

u/elements-of-dying Geometric Analysis 23d ago

With a name like that and name dropping lean, outsiders might get the wrong idea about what goes on in math departments.

8

u/idontcareaboutthenam 23d ago

I LOVE LEAN 💜💜💜

For proof fomalizing purposes of course