Tehisaru ei lahendanud kaksikalgarvude sajandivanust mõistatust, kuid astus sellele märksa lähemale väga teistsugusel viisil. Axiom Mathi süsteem formaliseeris ja kontrollis «246 teoreemi» tõestuse – tulemuse, mis ütleb, et lõpmata paljude järjestikuste algarvude vahe on kõige rohkem 246. See on üks lähimaid teadaolevaid samme kuulsa kaksikalgarvude hüpoteesi suunas, mille lõppsiht on vahe kaks. Veelgi tähtsam võib olla aga meetod ise, sest sama tehnoloogia võiks tulevikus kontrollida tehisaru kirjutatud tarkvara korrektsust. Kas matemaatiliste tõestuste masinkontrollist saab peagi turvavõrk kogu ühiskonda käitavale koodile?
