Aleph kanıtlayıcı ajanımız, PutnamBench'te #1 oldu; bu, Putnam problemlerinden oluşan bir kıstala - en zor üniversite düzeyindeki matematik olimpiyatlarından biri - tamamen makine kontrolüyle yapılan kanıtlarla ve insan müdahalesi olmadan formalize edilmiş. Putnam problemleri genellikle IMO problemlerinden daha zor kabul edilir ve kalkülüs, sayı teorisi, grup teorisi ve matematiğin diğer temel alanları gibi geniş bir konu yelpazesini kapsar. Bu, yapay zekanın derin, çok adımlı akıl yürütmeyi doğruluk garantileriyle yönetebileceğinin güçlü bir kanıtıdır — gerçek yazılım, donanım ve bilimsel keşifleri doğrulamak için kullandığımız aynı teknoloji ve resmi mantık gerektiriyor.