S potěšením oznamujeme Trinity, autoformalizační systém pro ověřenou superinteligenci, který jsme vyvinuli v @morph_labs. Použili jsme ho k automatické formalizaci klasického výsledku de Bruijna, že domněnka abc je pravdivá téměř vždy.

Kompletní formalizaci de Bruijnovy věty od Trinity otevíráme zde: