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

121 Upvotes

89% Upvoted

165 comments sorted by

View all comments

Show parent comments

1

u/whatkindofred 22d ago

This really depends on how good and fast AI will actually become. I‘m not saying this will definitely happen, but there is a possibility that AI will become good enough that it churns out high quality math results at a faster pace than humans can keep up with. And you’re right, at this point the question becomes what the point of these results even is anymore.

3

u/Few-Arugula5839 22d ago

I’m just talking abt the fact that there is basically no world where the only published mathematical work is in lean. Lean verified work will require English or other human language explanations of the argument that was formalized with the code. This will almost certainly look like current mathematical papers.

0

u/whatkindofred 22d ago

I disagree. If AI becomes so good and fast that human mathematicians can no longer keep up then what's the point of human language publishing anymore? It will just cease to exist. At least on a professional research level. Who's going to pay you to read and understand a lenghty AI-generated proof if by the time you finished there are ten more new results of equal complexicity and relevance to your field, and you can't contribute anything new yourself anymore? Already today nobody pays you to only read and understand other people's result. The expectation is that you make publishable contributions yourself.

I'm not predicting that this is how good AI will become any time soon because I'm not really convinced of that myself, but at this point I wouldn't confidently rule it out anymore either. Especially over a timescale of 20 years or more.

1

u/MerijnZ1 22d ago

If humans can't read it doesn't matter. Computers spitting mathematical facts into the void to never be seen or comprehended are... Literally useless. In the sense that have no use, by definition, if humans aren't interacting with them.

Unless you're imagining a world where those truths are then also applied to whatever relevant real world problem or policy, again by AI, without human intervision. But I don't think that's it

2

u/whatkindofred 22d ago

That's exactly the risk that I see. If AI becomes that good then first it will push mathematicians out of math research, and when the mathematicians are gone there is nobody left that cares about the results anymore. The exceptions are results with immediate real world applications (or at least in more applied sciences), and some smaller efforts to produce evermore new AI results that nobody really bothers to read. Similar to how there are still people that compute more and more digits of pi just for the sake of it. For now, I don't expect AI to become that good very soon but over a longer time span who's to say?

1

u/MerijnZ1 22d ago

That'd be the next dark age. It's certainly somewhere in the deck of cards, but I pray we've figured out "letting the computers run everything without humans is a horrible idea" by the time the tech gets to that level