Muito feliz em lançar o RamaX: nossa plataforma para triagem ultrarrápida, precisa e sensível de enormes bibliotecas de fichários (de minibinders, VHHs ou scFvs de 1K a 1B) em apenas 1-2 semanas. Esse método foi uma mudança total para nós na @diffuse_bio. Internamente, mudamos completamente do display de levedura para o RamaX para triagem dos nossos designs. Também estamos usando o RamaX para gerar enormes conjuntos de dados para treinar nossos modelos generativos de proteínas. 🧵 1/

Aristóteles de @HarmonicMath acertou 10/12 problemas em 7 horas no Putnam, a competição de matemática de graduação mais difícil do mundo! Como eu sei disso? Bem, eu mesmo rodei o Aristotle via API pública do Harmonic. E levei cerca de 10 minutos para começar e começar! 9 de 10 problemas foram concluídos em menos de 3 horas. A décima (B5) levou 7 horas, uma hora a mais do que os participantes têm permitido. Para todos os 10 problemas, dei a Aristóteles as declarações do problema em inglês — e ele autoformalizou as afirmações, provou-as e produziu resultados verificados de forma autônoma, sem nenhum feedback humano. Como alguém que ama matemática, mas não é especialista, é empolgante ter uma ferramenta tão poderosa ao meu alcance! 1/