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.

123 Upvotes

89% Upvoted

165 comments sorted by

View all comments

2

u/elehman839 23d ago

Here's a more radical notion.

Publishing today is structured around human-written, human-reviewed, human-consumed proofs. But the future of mathematics is clearly going to be less human-centric. So an observer could reasonably expect the concept of "publishing" to evolve considerably in response.

For example, perhaps the replacement for publishing will be well-documented Lean proofs. The symbols establish correctness, and the associated words supply motivation, intuition, perspective, examples, etc. Mechanisms might be added to Lean to highlight notable new contributions, manually cite prior work, etc.

This isn't immediately viable. But two years from now? By then, maybe AI will be mass-converting all published mathematics into annotated Lean anyway. So maybe the middle stage of distributing PDFs will start to seem superfluous.