Latest posts
-
OpenAI publica novos resultados matemáticos produzidos por IA
A OpenAI liberou no GitHub uma série de resultados matemáticos gerados por um modelo interno, com parte das provas verificadas em Lean.
-
IA da Anthropic ajuda a encontrar um sistema enzimático parecido com o CRISPR
Agentes do Claude vasculharam um banco de 1,9 bilhão de agrupamentos de proteínas e acharam um sistema genético ainda não descrito.