Im Gegensatz zu ihren „schmuddeligen“ Kollegen, die schnelle Ergebnisse priorisieren, konzentrierten sich die „Neats“ im KI-Labor auf die Entwicklung von Algorithmen mit mathematischen Genauigkeitsgarantien.
Das Matheproblem war nachweislich falsch, weil der Schüler zu einem falschen Ergebnis kam, und der Lehrer konnte Schritt für Schritt zeigen, woder Fehler auftrat.