Comment by mkl
2 days ago
This is very narrow AI, in a subdomain where results can be automatically verified (even within mathematics that isn't currently the case for most areas).
2 days ago
This is very narrow AI, in a subdomain where results can be automatically verified (even within mathematics that isn't currently the case for most areas).
Narrow AI? I’m not saying it’s AGI but this is not a narrow AI it’s a general AI given a narrow problem. ChatGPT.
In a very specialized setup, in tandem with a verifier.
Just because a specialized human placed in an F-16 can fly at Mach 2.0, doesn't mean humans in general can fly.
An apt analogy. A human is a general intelligence that can fly with an F-16.
What happens when we put an artificial general intelligence in an F-16? That's what happened here with this proof.
4 replies →