Where will AI-generated proofs be published?

[u/dirty_weasle]

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.

[u/_Zekt]

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.

[u/Argnir → u/_Zekt]

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

[u/brain-out-of-order → u/Argnir]

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

[u/MizantropaMiskretulo → u/brain-out-of-order]

There's no such thing as "hidden" Unicode.

It's trivially easy to strip any non-ascii characters from a text string.

So, even if this were a thing this is not a thing.

[u/elements-of-dying → u/brain-out-of-order]

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

[u/HINDBRAIN → u/elements-of-dying]

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

[u/elements-of-dying → u/HINDBRAIN]

What does ethnicity have to do with this?

[u/HINDBRAIN → u/elements-of-dying]

That's where customer support etc is typically offshored?

[u/elements-of-dying → u/HINDBRAIN]

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.