Ich bin sehr aufgeregt, dass unser AlphaProof-Papier endlich veröffentlicht wurde! Es ist das letzte, woran ich bei DeepMind gearbeitet habe, und es ist sehr befriedigend, jetzt die vollständigen Details teilen zu können - ein sehr spannendes Projekt und ein großartiges Team!