Encantado de lanzar RamaX: nuestra plataforma para un cribado ultrarrápido, preciso y sensible de enormes bibliotecas de carpetas (desde minibinders, VHHs o scFvs de 1K hasta 1B) en solo 1-2 semanas. Este método ha supuesto un cambio radical para nosotros en @diffuse_bio. Internamente, hemos cambiado completamente de la pantalla de levadura a RamaX para el cribado de nuestros diseños. También estamos usando RamaX para generar enormes conjuntos de datos que entrenan nuestros modelos generativos de proteínas. 🧵 1/

Aristóteles de @HarmonicMath acertó 10 de 12 problemas en 7 horas en Putnam, la competición de matemáticas más dura del mundo para estudiantes de grado. ¿Cómo lo sé? Bueno, yo mismo ejecuté Aristotle a través de la API pública de Harmonic. ¡Y tardé unos 10 minutos en empezar y arrancar! 9 de cada 10 problemas se completaron en menos de 3 horas. La décima (B5) duró 7 horas, una hora más de lo que se les asigna a los concursantes. Para los 10 problemas, di a Aristóteles las enunciaciones del problema en inglés — y autoformalizó las afirmaciones, las probó y produjo resultados verificados de forma autónoma, sin retroalimentación humana. Como alguien que ama las matemáticas pero no es un experto, ¡es emocionante tener una herramienta tan poderosa al alcance de la mano! 1/