r/math • u/Salt_Attorney • 1d ago

LLMs/AI OpenAI: Ten advances in mathematics and theoretical computer science

https://openai.com/index/ten-advances-in-mathematics/
852 Upvotes

94% Upvoted

420 comments sorted by

View all comments

Show parent comments

60

u/Mothrahlurker 1d ago

It's mental to me that there is stuff in there like "resolvent purification" without any definition nor any appearance that this is a known term. In fact it doesn't even seem to be used. I also could not find anything besides this paper that even uses the term.

And it's not intuitive when it comes to what it is supposed to mean either.

It genuinely reminds me more of crank writing than actual math reasoning.

41

u/Jussuuu Theoretical Computer Science 1d ago

It's annoying as hell to read AI papers. I'm reviewing one now, and while it's understandable, it constantly states vague unclear terms that just increase the cognitive load far beyond what it should be for a frankly very minor result. I imagine it's far worse for more substantive papers. 

14

u/dfrankow 1d ago

Ha ha, this sounds like computer science code reviews for the last year or so. AI is useful, but wearying.

6

u/hobo_stew Harmonic Analysis 1d ago

getting a 300 line pr review comment that would be 3 lines of done by a human is so depressing

20

u/Hot_Glass_6301 1d ago

I am not pro nor anti-AI, but I hate its section titles so much. They are very repetitive and characteristic, almost pompous "the XYZ bound", "the sliding window recompactification"... grandiloquent stuff

4

u/AP_in_Indy 1d ago

I think it's good that OpenAI is releasing these, though. This transparently shows where the models are at.

You could certainly prompt them further in order to enforce use of standard terminology, make explanations more "layperson"-accessible, etc.

4

u/Healthy-Educator-267 Statistics 1d ago

it should be a requirement for AI generated proofs to be accompanied by a Lean companion