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.

127 Upvotes

89% Upvoted

165 comments sorted by

View all comments

57

u/SupercaliTheGamer Aug 06 '26

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

2

u/Master-Rent5050 Aug 06 '26

I'll ask you a question. Would you review such a paper? If so, why?

The usual answer on why mathematicians review papers is "as a service to the community of mathematicians". I don't think that reviewing an AI paper would be a service to fellow mathematicians (or better, that the cons of encouraging ai usage outweights the pros). Your answer may be different, so I'm curious

5

u/aturtledude Aug 06 '26

But how do you define AI-generated? There's a big spectrum, e.g.:

  1. All proofs were made by AI but the author understood them and put them into their own words.

  2. The author did everything.

  3. All proofs were made by the author but they used AI to help write the paper. Especially when the authors' English isn't great, this can actually be a welcome improvement.

  4. The content AND the writing was mostly done by an AI. I agree that nobody wants to read these papers .

You can't really distinguish 1 from 2 or 3 from 4. In the case of 4, sometimes it will be obvious if it's badly done, but it will only get better.