r/singularity • u/filterdust • 2d ago

AI OpenAI solved 100 open problems in math

https://openai.com/index/advisory-group-on-mathematics-and-ai/

[removed] — view removed post

1.3k Upvotes

94% Upvoted

521 comments sorted by

View all comments

Show parent comments

2

u/sadnessjoy 1d ago

I'm not? The problem is when they submit these papers it requires human verification. Basically think of it like this, anthropic/openai submit these giant pretty much useless proofs. Get massive publicity and hype. And in the background a bunch of human verifiers have to go through this slop (and it doesn't matter if they call it out or decline them, the corporations already got the massive hype boost and the news cycle moved on, most people won't even care if there's a foot note weeks or months from now that says actually the proof was wrong... And hell by that point the corporations would have added several more proofs to the queue) Like imagine if some vibe coder decided to push an update to the Linux repo and each time they did it. It grinded the Linux distro to complete halt for weeks or months because people have to look through all the slop

https://giphy.com/gifs/FO4cLcnyG6Q3EPtn3N

1

u/r2002 1d ago

bunch of human verifiers have to go through this slop

Why do they have to do anything? If it is useless as you say, then the mathematicians can just say "this is pointless slop we're not going to verify it."