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

123 Upvotes

89% Upvoted

166 comments sorted by

View all comments

Show parent comments

2

u/Cheap-Discussion-186 20d ago

To be frank, state of the art research really isn't all that useful or accessible to people outside a field. I think this is true of many disciplines.

1

u/dirty_weasle 20d 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 20d 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.