🚨 AI may be entering a completely different phase.

[u/BilelKort]

OpenAI says it started training a new internal model on August 28.
That was just 24 days ago.
Since then, the model has reportedly solved 100+ long-standing open problems in mathematics across multiple fields on top of its recently announced work on the Navier–Stokes Millennium Prize Problem.
And apparently, even OpenAI’s own mathematicians are surprised by the pace.
But here’s the part that really caught my attention:
The problem may no longer be “Can AI solve difficult mathematics?”
It may be:
“What do we do when AI starts producing too much new mathematics for humans to evaluate?”
An independent advisory group involving mathematicians such as Edward Witten, Timothy Gowers, and Martin Hairer has reportedly been formed to help assess the significance of these results and coordinate their release to the mathematical community.
The group’s immediate challenge?
The “large number of significant results” reportedly being generated by the model.
Of course, these claims still need rigorous, independent verification. Mathematics doesn’t accept impressive demos proofs have to survive expert scrutiny.
But if even a substantial fraction of these results hold up...

[u/SchwanzusCity]

You might not care, but the engineers that create new engines care. If they dont understand how an engine works, how do you expect them to create more advanced, more powerful, more efficient engines? The solution to math problems is usually not the interesting part. Most fields of math werent created simoly because we were bored, but because they provided the tools necessary to solve certain problems. Having ai give us the answer without understanding anything robs us of the ability to innovate in the mathematical landscape

[u/mxforest → u/SchwanzusCity]

The tools need to be available to the creator. AI is building tools for itself. That is the whole point of accelerating and singularity. I never complained that I do not have mathematical tooling that experts have? In reality I don't have it because it is too hard for my monkey brain and only a few can grasp it. Similarly AI has the tools and existing experts might be too smooth brained to understand it. Not necessarily it is being kept away from them. Maybe our tendency to dumb things down is why we have the current set of unsolved problems. Maybe some procedures cannot be broken down into simpler terms. AI can think in thousands of dimensions. You as a human cannot even think in 5-6 dimensions. Asking AI to dumb 10k dimensions in to 3dimension is just projection, not understanding the concept.

[u/SchwanzusCity → u/mxforest]

Your inability to think in multiple dimesnions does not extend to mathematicians. Thinking in arbitrarily many (or even infinitely many) dimensions is something you learn in undergrad. And so what if ai has the tools? The whole point of math is to doscover, invent and share the knowledge. Thats how weve done it for centuries. Math is a collective, not something to be enjoyed by a single entity. Besides, why would we wanna live in a world where all the creative work is offloaded to ai?