Site Local

Artigo de Cambridge e do King’s College diz que a versão em Lean não bate com o texto. Isso não invalida o resultado, mas expõe limites da autoformalização.

A Anthropic diz que o Claude obteve 354 ligantes em 1.320 desenhos, com taxa de acerto de 22% a 35%. O teste mediu só a ligação, não o efeito biológico.

Em 5/8, Jeff Dean, Sanjay Ghemawat, Oriol Vinyals e Quoc Le lançaram a Discovery Loop, com o Google como investidor e parceiro de nuvem.