Siamo entusiasti di lanciare RamaX: la nostra piattaforma per screening ultra-veloci, accurati e sensibili di enormi librerie di leganti (da 1K a 1B minibinder, VHH o scFv) in sole 1-2 settimane. Questo metodo è stato un vero e proprio cambiamento per noi di @diffuse_bio. Internamente, abbiamo completamente abbandonato il display di lievito per passare a RamaX per lo screening dei nostri progetti. Stiamo anche utilizzando RamaX per generare enormi dataset per addestrare i nostri modelli generativi di proteine. 🧵 1/

Aristotele di @HarmonicMath ha risolto 10/12 problemi in 7 ore al Putnam, la competizione di matematica per laureati più difficile al mondo! Come lo so? Beh, ho eseguito Aristotele io stesso tramite l'API pubblica di Harmonic. E ci sono voluti circa 10 minuti per iniziare e farlo partire! 9 problemi su 10 completati in meno di 3 ore. Il decimo (B5) ha richiesto 7 ore, un'ora in più rispetto al tempo assegnato ai concorrenti. Per tutti e 10 i problemi, ho fornito ad Aristotele le enunciazioni dei problemi in inglese — e ha autoformalizzato le enunciazioni, le ha dimostrate e ha prodotto output verificati in modo autonomo, senza alcun feedback umano. Essendo qualcuno che ama la matematica ma non è un esperto, è emozionante avere uno strumento così potente a portata di mano! 1/