Protein folding is nothing compared with a general solution to finding proofs up to any given length if they exist or confirming that they don’t, or optimal solutions to virtually every scientific problem that can be formulated in any suitably verifiable way.
If solving NP-complete problems in polynomial time is the hallmark of intelligence, then humans are as dumb as rocks and any actual AI will blow us out of the water.
Protein folding is nothing compared with a general solution to finding proofs up to any given length if they exist or confirming that they don’t, or optimal solutions to virtually every scientific problem that can be formulated in any suitably verifiable way.
If solving NP-complete problems in polynomial time is the hallmark of intelligence, then humans are as dumb as rocks and any actual AI will blow us out of the water.