これらのモデルが離散数学において今や狭義の超知能に達しているのは驚異的だ。 一方で、他の分野ではまだ博士レベルに及ばない。 これは、進歩の多くが検証可能性に依存していることを示している。