Olemme innoissamme voidessamme julkistaa Trinityn, automaattisen formalisointijärjestelmän todennetulle superälylle, jonka olemme kehittäneet @morph_labs. Olemme käyttäneet sitä virallistamaan automaattisesti Leanissa de Bruijnin klassisen tuloksen, jonka mukaan abc-olettamus on totta lähes aina.

Julkaisemme avoimen lähdekoodin Trinityn täydellisen formalisoinnin de Bruijnin lauseesta tässä: