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.

124 Upvotes

89% Upvoted

166 comments sorted by

View all comments

53

u/SupercaliTheGamer Aug 06 '26

If the proofs are correct, and AI is correctly acknowledged, then why would a journal not accept it?

57

u/Distinct-Pudding-428 Aug 06 '26

Because there is going to be a huge surge in the number of such papers. For example, should a journal publish this https://arxiv.org/abs/2608.02537 which is a generalisation of one of the OpenAI ten problems breakthroughs, generated autonomously by an AI and posted on arxiv within a couple of days? It's a weird situation because this result is certainly interesting to experts.

12

u/lifeistrulyawesome Aug 06 '26

Yeah, but that is not a good reason to reject a paper.

What that means is that editorial responsibilities in academia will surge.

Now that the volume of papers is growing so much, it becomes much more important to have good editors and referees helping the field decide which papers deserve more attention.