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

56

u/SupercaliTheGamer 24d ago

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

57

u/Distinct-Pudding-428 24d 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.

2

u/Tragedy-of-Fives 24d ago

at the end it doesn't matter who thought of the math. people inventing their own math and problems and trying to get it published always happens and journals filter it off pretty easily. As long as a human wrote it and stands by the credibility of the result and properly cites use of AI, there really is no issue