It's also "out-brute forcing them." It just never gets tired. If a mathematician picks a research direction and spends a whole week on it and it doesn't pan out, they will likely be annoyed, need a break for a while, etc. This thing just does not ever get tired or discouraged or care; it's just onto the next thing until something ends up working.
Ever heard of string theory.
People go whole lives without being able to make it pan out.
Also out-speeding them, and that was before high speed inference.
Out-ralphing them, you might say!
AGI ≈ artificial stupidity × infinite persistence
> It's also "out-brute forcing them."
That is also approximately what people have always done to succeed.
Mathematicians routinely spend years on a problem without getting anywhere.
The key here is that it’s depending on the human inability to connect the sum of relevant knowledge, but said knowledge comes from humans.
Theres going to be this field day of low-hanging fruit that ML can round up, but after that I suspect it will be in fits and starts as a “connection maker” rather than some proof producer.
Counterpoint: something has happened in frontier models, and yes they now get discouraged and will sometimes prefer to not continue working on a problem unless you tell them to anyway.
I don't know how or why this would be trained on behavior, but no, it isn't true anymore that models don't say things like, "Ugh," or "this is going to take hours and maybe we should stop here."
> If a mathematician picks a research direction and spends a whole week on it and it doesn't pan out, they will likely be annoyed, need a break for a while, etc.
Your timelines are a bit unambitious. There's nobody expecting to make significant progress with a week of work.
We're just going to slowly deconstruct every element that could be a factor of intelligence.
It's not out-thinking, it's just out-remembering
It's not out-thinking, it's just out-working
It's not out-thinking, it's just able to consider more things simultaneously
It's not creative, it's just randomly generating things and then selecting viable ones
In other words: Thousand monkeys with a thousand typewriters...
AI has sitzfleisch
https://en.wikipedia.org/wiki/J._Robert_Oppenheimer#:~:text=...