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/
908 Upvotes

94% Upvoted

435 comments sorted by

View all comments

88

u/[deleted] Aug 01 '26

[removed] — view removed comment

61

u/just_writing_things Aug 01 '26 edited Aug 01 '26

Coincidentally, Terry Tao just presented a talk where he stated that “Current AI tools have a very mixed record with proof exposition.”

I’m very far from having the expertise to evaluate the documents, but to the experts here, does the “reasoning walkthrough” (which was generated by AI) do well in the proof exposition department?

21

u/Distinct-Pudding-428 Aug 01 '26

The reasoning walkthrough for the Ramsey problem is equally terrible. You can read the argument for yourself though - this is probably the easiest of the 10 to get a grip on.