Bardzo się cieszę, że nasz dokument AlphaProof w końcu jest dostępny! To ostatnia rzecz, nad którą pracowałem w DeepMind, bardzo satysfakcjonujące móc teraz podzielić się pełnymi szczegółami - bardzo fajny projekt i niesamowity zespół!