Contrairement à leurs collègues « scruffy » qui privilégient les résultats rapides, les « neats » du laboratoire d'IA se sont concentrés sur le développement d'algorithmes avec des garanties mathématiques de précision.
Le problème de mathématiques était de manière prouvable incorrectcarl'élève est arrivé à une mauvaise réponse, etle professeur a pu démontrer étape par étape où l'erreur s'est produite.
