Pro ty, kteří se zajímají, dotyčná umělá inteligence byla zkušební verzí Aristotela z @HarmonicMath. Věta byla výsledkem poslední míle o součtech řad, potřebných k ověření algoritmu pro vědecké výpočty, v doménově specifickém verifikátoru vytvořeném mým výzkumným týmem v Leanu.