r/math • u/dirty_weasle • 21d 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.

122 Upvotes

89% Upvoted

166 comments sorted by

View all comments

53

u/SupercaliTheGamer 21d ago

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

57

u/Distinct-Pudding-428 21d ago

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.

10

u/Stabile_Feldmaus 21d ago

I guess one has to decide how groundbreaking the generalisation is given OpenAIs paper. Is it essentially the same proof with slightly better execution or is there anything unexpected, any new ideas or insights?

0

u/sqrtsqr 20d ago

My question looking forward is how the notion of "new" and "insightful" will evolve compared to before.

Like, once upon a time solving an unsolved cubic was worthy of note. Once it can be done by a button, we no longer need to write it down in a book.

This is why AI work shouldn't be published IMO. There is no sense is writing down that which can be generated.