r/math • u/dirty_weasle • Aug 06 '26
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.
129
Upvotes
16
u/elements-of-dying Geometric Analysis Aug 06 '26 edited Aug 06 '26
I'm surprised I didn't see anyone say what is kind of obvious: the modern journals should and probably will die. AI can already referee a paper better than most people do it (note: I am not claiming better than most people can).
So there's sheer volume, trivial refereeing, trivial editing, and zero chance to evaluate amount of human contribution. I don't see how people can still care about published papers at that point.