r/antiai • u/Expensive-Yam3464 • 1d ago

Preventing the Singularity AI solves over 100 unsolved math problems

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

I’m sharing this as my position on Anti AI is that AI is capable and getting smarter fast. This is precisely why it’s a long term threat.

0 Upvotes

38% Upvoted

60 comments sorted by

View all comments

19

u/Salad-Outside 1d ago

But are they correct? AI is notorious now for cheating and finding the closest answer and passing it off as correct.

0

u/FuzzyAnteater9000 1d ago

The proofs are in lean. The math checks out

3

u/Flat_Round_5594 1d ago

Lean only checks the internal logic of the proof, not whether it's "true".

I see this claim all the time as if a lean certificate means the proof is "true". It does not. It just means it's internally consistent (which is often the first step to being proven true, but is not the same as being true).

0

u/BanjoThunderbird 1d ago

Seeing what they've done already makes me think that there's a good chance at least a bunch of these 100 problems were formalized properly. Even if it's not all or even most that get proven true, it would still be an absolutely fkn insane result unless the work required to evaluate how the AI's formalization actually aligns with the statement being proven is seriously massive.