Aleph-tutkijamme saavutti juuri sijan #1 PutnamBenchissä, joka on Putnam-ongelmista rakennettu vertailuarvo – yksi vaikeimmista yliopistotason matematiikan olympialaisista – täysin formalisoituna koneella tarkistettuilla todistuksilla ilman ihmisen osallistumista. Putnamin ongelmia pidetään usein vaikeampina kuin IMO-ongelmia, ja ne kattavat laajan kirjon aiheita, kuten laskentaa, lukuteoriaa, ryhmäteoriaa ja muita matematiikan keskeisiä alueita. Tämä on vahva todiste siitä, että tekoäly pystyy käsittelemään syvällistä, monivaiheista päättelyä oikeellisuudentakuilla — samaa teknologiaa, jota käytämme todellisten ohjelmistojen, laitteistojen ja tieteellisten löytöjen varmistamiseen, jotka vaativat muodollista logiikkaa.