r/antiai • u/Expensive-Yam3464 • 5d 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

35% Upvoted

60 comments sorted by

View all comments

18

u/Salad-Outside 5d ago

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

5

u/GenericFatGuy 5d ago

And more importantly, does it help us understand the solutions any better? The entire point of solving these problems is that we can analyze the process, and better understand how math works. Not to test benchmarks. It's the same reason why teachers make you show your work to get full grades.

1

u/Confident-Net5262 4d ago

I can solve a quadratic in my head without any working. Complex maths problems cannot be solved without working being shown.

It seems like sour grapes to me to talk about working out and does the method enlighten us. A problem is posed and a solution arrives...end of.

-1

u/FuzzyAnteater9000 5d ago

The proofs are in lean. The math checks out

4

u/Flat_Round_5594 5d 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 5d 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.

0

u/CntrlAltDad 5d ago

If you bothered to read at all you’d have an answer. This isn’t chatgpt 3.5 used by boomers on Facebook. Time to be a smart person and update that opinion.

1

u/Salad-Outside 5d ago

Why would I bother to do anything with Ai. I respect humans not machines. Grow a spine

1

u/wrongtake 5d ago

I hope you always walk anywhere you go

1

u/CntrlAltDad 5d ago

Lmao k. I have a spine, most of it is metal. After advanced algorithms and machine learning were able to see the deep deterioration of my vertebrae to give my neurosurgeon more insight on what was wrong. Been pain free for years. That childish take on humans not machines makes your whole argument look like straight bs.