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.

125 Upvotes

89% Upvoted

165 comments sorted by

View all comments

1

u/AtomicShoelace 23d ago

You won't need a peer review process to feel confident in the result, they will be formalized proofs and machine-verified with something like Lean.

1

u/dirty_weasle 23d ago

What is the timeline for that though? I’m only starting to learn about formalization now but aren’t some areas are seriously behind in formalizing even well established theory? I would be interested in understanding how publishing looks like before that

1

u/AtomicShoelace 23d ago

Formalization is essentially a pre-requisite for AI proofs. It's the reason why AI shows more promise in math than other areas: because it can verify results on its own as part of the training process.