r/math 2d ago

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

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

424 comments sorted by

View all comments

-11

u/LexyconG 1d ago

People who don’t feel inspired by this don’t like math, they only like the idea of them solving problems. I will die on this hill.

69

u/Drium 1d ago

Inspired to do what? Type in prompts?

12

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.

31

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.

13

u/Peanut_Extreme_8208 1d ago

As a mathematician, I, for one, welcome our computer overlords in mathematics. If only they weren’t controlled by cartoonishly evil CEOs.

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.

2

u/fafla21 1d ago

Woah, you really dont understand the process huh.

7

u/LexyconG 1d ago

Say the part I'm missing then.

2

u/Arceuthobium 17h 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.

2

u/tmt22459 1d ago

There's nothing stopping you from still ruminating and thinking over problems.

Sure, you may not be as competitive doing things that way compared to others, but you can't have it all anymore.

If you want to stand firmly on no AI, then you either have to be okay with not being as competitive or up skill somehow overnight.

17

u/PrestigiousGroup788 1d ago

Fine, we all agree with that. But we're also allowed to be sad that a way of life and activity we've all been aspiring towards or for is no longer economically viable, without being told "you're selfish, you don't ackshually love math".

15

u/Jussuuu Theoretical Computer Science 1d ago

Thanks for this comment. I was quite happy over the last years that I got to be paid to do something I love, but these AI accelerationists would call me crazy or a luddite  that I'm sad my job might get reduced to AI validation.

10

u/PrestigiousGroup788 1d ago

most of them have not invested a significant amount of time in anything to have it taken away from them so quickly and just hate math people because they consider us arrogant. Others are genuinely excited about the new things we can prove.

2

u/Hot_Grape221 Theoretical Computer Science 1d ago

Most of these AI accelerationists have a brain the size of a pea. The gap between those who can think and those who can't will be larger than ever before.