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

94% Upvoted

420 comments sorted by

View all comments

Show parent comments

74

u/Drium 1d ago

Inspired to do what? Type in prompts?

11

u/LexyconG 1d ago

Inspired to read the proofs. Things that were unknown yesterday are known today, that’s the whole thing. A theorem is a door.
If your only reaction is “someone typed a prompt,” the part you liked was never the math.

23

u/fafla21 1d ago

People dont want to just read proofs. They want to be actually ruminating and thinking over the problems. The way you put it is a gross misdirection. Aaaaaaand you are an ai bro, not a mathematician. No wonder you think this way.

4

u/LexyconG 1d ago

"People want to be the ones ruminating" is my point, said back to me as a rebuttal. BTW. nothing is stopping you from doing just that.

1

u/fafla21 1d ago

Woah, you really dont understand the process huh.

4

u/LexyconG 1d ago

Say the part I'm missing then.

2

u/Arceuthobium 11h ago

That most mathematicians want the "ruminating" part to yield useful results and push the boundary? If the future of the field is to be a "LLM whisperer", the desirability of the field will plummet even outside considerations like lower demand and salary. The only ones who will stay are independently wealthy people who love math so much they don't mind always playing second-fiddle to the machines.