You test models where they fail in any field. The orbit of Mercury to discover GR as an example. As all models are wrong, but some are useful, finding where t

You test models where they fail in any field. The orbit of Mercury to discover GR as an example. As all models are wrong, but some are useful, finding where they fail is how you figure out if they are useful. As the 'AGI is near' camp has won the hype game, it is important to ground expectations for practical exploitation of the technology. Over promising unabashed optimism is partly what caused the previous AI winters. As the formal proof methods of mathematics proved impractical, counterexamples and the scientific method is what CS has used for decades.