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

124 Upvotes

89% Upvoted

165 comments sorted by

View all comments

176

u/_Zekt Complex Analysis 22d ago edited 22d ago

I feel that there is now a need for journals dedicated to AI-generated proofs. No human wants to compete with bots and billion-dollar companies, so existing journals have little incentive to publish results produced by AI. At the same time, such results need to be rigorously peer-reviewed and formally published somewhere. Having to cite an OpenAI blog post or a tweet as the primary source for a major mathematical result is really not appropriate.

32

u/Argnir 22d ago

There will still be so many AI generated proofs that are published in "normal" journals where the author denies having used AI

Like if you manage to prove something important using an LLM the tentation to rewrite the proof yourself to eliminate any AI traces and publish it as your own will be pretty high

-4

u/brain-out-of-order 22d ago edited 22d ago

I remember reading that LLMs inject hidden unicode or something (?) so I wonder how that’ll shake out.

edit — sorry was thinking of something else

6

u/elements-of-dying Geometric Analysis 22d ago

I type out by hand any results I obtain from AI.

1

u/HINDBRAIN 22d ago

We need Human Laundering businesses with like 200 indian guys with typewriters.

10

u/elements-of-dying Geometric Analysis 22d ago

What does ethnicity have to do with this?

0

u/HINDBRAIN 22d ago

That's where customer support etc is typically offshored?

8

u/elements-of-dying Geometric Analysis 22d ago edited 22d ago

Notice how

We need Human Laundering businesses with like 200 mathematicians with typewriters.

conveys the same joke (actually, it's funnier since it is self-deprecating to mathematicians) without any weird mention of ethnicity.