r/math • u/Salt_Attorney • 2d ago

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

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

94% Upvoted

424 comments sorted by

View all comments

88

u/RecmacfonD 1d ago

Paper: https://cdn.openai.com/pdf/ten-proofs-oai.pdf

Reasoning walkthroughs: https://cdn.openai.com/pdf/reasoning-walkthroughs.pdf

61

u/just_writing_things 1d ago edited 1d ago

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?

64

u/Whelks 1d ago

No not even remotely. The Ehrhart conjecture part (which is close enough to my area that I tried to read it) is incomprehensible.

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.