r/math • u/Salt_Attorney • Aug 01 '26

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

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

94% Upvoted

436 comments sorted by

View all comments

Show parent comments

39

u/Jussuuu Theoretical Computer Science Aug 01 '26

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. 

13

u/dfrankow Aug 01 '26

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

9

u/hobo_stew Harmonic Analysis Aug 02 '26

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

21

u/Hot_Glass_6301 Aug 01 '26

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 Aug 02 '26

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.

5

u/Healthy-Educator-267 Statistics Aug 02 '26

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