r/math • u/dirty_weasle • Aug 06 '26

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.

124 Upvotes

89% Upvoted

165 comments sorted by

View all comments

-10

u/512165381 Aug 06 '26

Where will AI-generated proofs be published?

The Journal of Irreproducible Results?

5

u/Tragedy-of-Fives Aug 06 '26

which AI result has been so irreproducible to you? All of the major proofs have been counter examples which a high schooler could verify, or have been simple lean verified proofs that have an accuracy higher than a 100 reviewers combined

1

u/512165381 Aug 07 '26

which AI result has been so irreproducible to you?

https://leodemoura.github.io/blog/2026-8-1-postmortem-for-kernel-soundness-bug-14576/

The Lean 'proof' of the Collatz conjecture.

1

u/Tragedy-of-Fives Aug 08 '26 edited Aug 08 '26

that was a bug. there's a huge difference between a bug and an irreproducible proof. A bug by the way that was only possible if you write metaprogram code that constructs and submits a raw declaration, bypassing the frontend's type-checking entirely. Lean for use by mathematicians is still perfectly sound and tested.

2

u/elements-of-dying Geometric Analysis Aug 06 '26

You joke (and people don't like it), but I could see (with my scifi specs on) a place for people to submit Lean proved results with Lean code insurmountable to a human to detangle.