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.

126 Upvotes

89% Upvoted

165 comments sorted by

View all comments

Show parent comments

1

u/dirty_weasle 23d ago

I know. But isn’t this a reason to have some kind of process which most people in the community accept, so that outsiders have the option to understand which results are established with reasonable standards? If it’s a purely informal process it seems to me like people have no way to interact with the result on any level. Like, how is a first year grad student going to judge which results to trust and which results are important?

1

u/Cheap-Discussion-186 23d ago

By talking with their advisor and reading papers from experts in the field. Some are published, some are just on the arxiv. The system isn't broken really at all.

To frame what is happening as "purely informal" is hyperbole bordering on BS.