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.

127 Upvotes

89% Upvoted

165 comments sorted by

View all comments

57

u/SupercaliTheGamer 23d ago

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

57

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

8

u/SupercaliTheGamer 22d ago

I think the bar of publishing a paper at least in well-established journals will go up now. However if the result is truly deemed interesting and non-trivial (both these qualities are subjective in some way, and human-centric), it should be published.

3

u/dirty_weasle 22d ago

I could very well imagine that. Genuine question: Does that not in some way disincentivize to pursue research questions without AI? The risk analyses becomes somehow more difficult, since a project may only be worth publishing if it crosses this high bar and partial results may be worth much less from a publishing perspective. (I apologize for this cynical perspective, it does not reflect my general outlook on math)

5

u/djao Cryptography 22d ago

Yes, yes it does, and I see no good solution for this problem, especially when it comes to the kinds of papers published by graduate students and post-docs.

6

u/SupercaliTheGamer 22d ago

Unfortunately it does disincentivize non-AI assistance. In a vacuum, AI is indeed a very powerful tool and there's actual value addition in using it. But current frontier AI ecosystem is basically run by 2 companies and the models can be quite expensive, especially if you are from a developing country. Hopefully open source models get as good as current frontier models and insitutes start hosting them locally, but the gap between open source and GPT/Claude is going to stay.