Calling notable conjectures that have been open for decades “low-hanging fruit” is an act of desperation. Most professional mathematicians couldn’t have proved those conjectures if their lives depended on it.
So, yes, AI is a big deal and we don’t know what it’s going to affect, but the goal of replacing everyone’s job is extremely ambitious and there’s a long way to go.
This has to be assessed separately for each kind of job.
Moravec must be at some level gratified things are arriving close to his predicted timeline.
There might be a thing beyond intelligence that we can't even conceive of.
Most technologies level off sharply after bouts of boundless improvements.
In 1968 they thought we'd be flying to the moon by now but instead we're flying across the ocean in planes not that different from the 747 that existed back then.
> BY L. J. LANDER AND T. R. PARKIN
> A direct search on the CDC 6600 yielded:
27⁵ + 84⁵ + 110⁵ + 133⁵ = 144⁵
> as the smallest instance in which four fifth powers sum to a fifth
power. This is a counterexample to a conjecture by Euler that at
least n nth powers are required to sum to an nth power, n>2.https://www.ams.org/journals/bull/1966-72-06/S0002-9904-1966...
It is a conjecture whether grinding it out on Lean is a difference in kind, rather than degree. I say degree. But it remains to be seen.