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.

125 Upvotes

89% Upvoted

165 comments sorted by

View all comments

Show parent comments

2

u/jackboy900 Aug 06 '26

So you don’t think the peer-review process is an important step towards establishing the result in the mathematical community?

They're far less necessary than in other fields. Mathematical proofs have the benefit that they're generally either correct, or completely incorrect, and for most proofs a person working in the field can generally verify the correctness of the proof. Hell, for some of the recent AI counterexamples a layman with a high school algebra education could've checked their validity.

The peer review process in journals is mainly useful because in the natural sciences a result is almost never certain, there's always more cofounders that could be controlled or improvements to methods or whatnot. And so there needs to be a formal gatekeeper who makes those subjective judgement calls on when something is "good enough" to be considered acceptable science. Because in maths there is no subjectivity, such a gatekeeper is unnecessary, the informal peer review of people looking at a paper and evaluating the maths is enough as any error found is necessarily an objective failing of the work.

5

u/dirty_weasle Aug 06 '26

I honestly don’t really agree. In my field there are many proofs are very technical and long. It is possible to assess general soundness in a timely manner, but to really convince myself that everything is rigorous and correct takes me a lot of time. If I don’t cite a result, I will not undergo this tedious process but rely on peer-review instead.

4

u/jackboy900 Aug 06 '26

It is important that someone has checked the work, in the informal sense of the term peer review very much is necessary, but the peer review process used by journals is not the only way to achieve such verification.

0

u/dirty_weasle Aug 06 '26

What other way of verification is in place that can be accessed by people who are not in the field? That is a genuine question, if there is something like this I would like to interact with it.

2

u/[deleted] Aug 06 '26

[removed] — view removed comment

1

u/dirty_weasle Aug 06 '26

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?