Jens Groth z Nexus diskutuje o tom, jak by umělá inteligence mohla přetvořit vývoj systémů dokazování bez znalostí od univerzálních až po vlastní obvody.
FT @JensGroth16 @NexusLabs @JanCamenisch @RialoHQ
52