Estou entusiasmado por compartilhar que @alexanderlhicks, pesquisador da @ethereumfndn, estará falando no Open AGI Summit durante o Devconnect. Seu trabalho explora a verificação formal de sistemas criptográficos e descentralizados, com foco nas estruturas de incentivos. Não perca ele e outros pesquisadores de destaque em Buenos Aires 👇