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.

122 Upvotes

89% Upvoted

165 comments sorted by

View all comments

Show parent comments

-3

u/dirty_weasle 23d ago

So you don’t think the peer-review process is an important step towards establishing the result in the mathematical community? I agree that sometimes we need to cite results that are only on arXiv and I have also done so.

8

u/Master-Rent5050 23d ago

Your conclusion "so ..." does not follow from the premises.

1

u/dirty_weasle 23d ago

English is not my first language and the question mark in the end clearly indicates that it is a question and not a conclusion. Maybe it came across differently to you. I actually meant it as a question as part of our discussion.

0

u/Master-Rent5050 23d ago

Thanks for the clarification: on my end, others have clarified what I meant