@PanteraCapital liderliğinde, @Sequoia ve diğerlerinin katılımıyla 17 milyon topladık. Fin, kullanıcıların ve işletmelerin milyonlarca doları anında taşımalarını sağlar - ister diğer Fin kullanıcılarına, ister doğrudan banka hesaplarına ya da kripto rayları üzerinden geçsin. Eğer bankalar ve ödeme ürünleri bugün sıfırdan yeniden inşa edilebilseydi, Fin gibi görünürlerdi.

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.