“A key test for AGI would be its ability to generate a novel solution to a problem at the edge of human knowledge in a specialized field, which the prober can then verify as correct and genuinely new.”