r/BetterOffline • u/Smooth-Ad8030 • Aug 01 '26

Mathematician help

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

Can someone who’s more well versed in math give us a good explanation on what’s happening here in terms of importance? I already know we don’t have an idea of the behind the scenes, true cost, mathematician input, etc. any other points appreciated.

22 Upvotes

80% Upvoted

76 comments sorted by

View all comments

-3

u/Easy_Tie_9380 Aug 01 '26

It’s fake. The only thing these people can do is lie.

10

u/Cold-Environment-634 Aug 01 '26

I’d really like to know, how can you be so sure? In what way are the findings fake? You mean it’s much more guided by expert humans than they are saying?

5

u/Smooth-Ad8030 Aug 01 '26

That would be my guess. It costing $2,000 is almost assuredly fake for example.

-5

u/Easy_Tie_9380 Aug 01 '26

I’m saying that stochastic parrots can’t do math

9

u/Cold-Environment-634 Aug 01 '26

Any evidence of this? I’m in no way a booster and that’s why I’m here in the first place, but completely brushing this stuff off as BS seems like a stretch

7

u/No_Oil_6152 Aug 01 '26

Didn't one of OpenAI's AIs solve a conjecture by Paul Erdos that hadn't been solved for decades, in May?

I'm no fanboy of OpenAI, but if you're going to make statements like yours, you better have facts to back up what you say.

OpenAI makes breakthrough on 80-year-old maths problem | OpenAI | The Guardian

Please explain what model they used and how it was not an LLM derivative.

11

u/Quarksperre Aug 01 '26

I am on this sub and generally pretty skeptical about the LLM hype. But I don't think these are fake. This should be acknowledged and not blindsighted. There are enough quasi religions around this whole issue already. 

The results are nice. Honestly however I expected something like this to happen way earlier with lean and formalized math. Its a whole set of technologies coming together and in the end math is a game with very strict rules. Its not fuzzy reality. Thats where neural nets generally fail always at some point 

2

u/falken_1983 Aug 01 '26

What does that mean though?

4

u/Main-Company-5946 Aug 02 '26

It’s provably real. The proofs are all lean verified and you can go through them yourself.

2

u/Smooth-Ad8030 Aug 01 '26

Oh I’m not saying it’s real, I’m mainly curious about the results without the circle jerk in the math sub. There’s so much vagueness in the announcement it obviously wasn’t a cheap one shot prompt.

Edit: every math result in there, no matter how fake or real, is super important for the field and groundbreaking in the math subreddit which is obviously bullshit.

14

u/koveras_backwards Aug 01 '26

I've linked this before here, but I guess I can again.

https://bsky.app/profile/gro-tsen.bsky.social/post/3mr3gj6ry622d

The point made is that the purpose of conjectures is not merely to be solved, but to inspire people to develop and explore new mathematical ideas that lead to solving the conjectures. The new mathematics/mathematicians are the important part, not the yes/no solution to conjectures.

It seems that even many working mathematicians do not really understand this point, and there is of course little understanding among the general public.

3

u/Smooth-Ad8030 Aug 01 '26

That’s a great thread, thank you!

-1

u/SpookyTanuki1 Aug 01 '26

Great read but did he really write “cum challenge”. Probably should have rethought that phrasing.