Zachwyceni, że możemy uruchomić RamaX: naszą platformę do ultra-szybkiego, dokładnego i wrażliwego skanowania ogromnych bibliotek binderów (od 1K do 1B minibinderów, VHHs lub scFvs) w zaledwie 1-2 tygodnie. Ta metoda była dla nas absolutną rewolucją w @diffuse_bio. Wewnątrz całkowicie przeszliśmy z wyświetlania drożdży na RamaX do skanowania naszych projektów. Używamy również RamaX do generowania ogromnych zbiorów danych do trenowania naszych generatywnych modeli białkowych. 🧵 1/

Arystoteles z @HarmonicMath rozwiązał 10/12 problemów w ciągu 7 godzin na Putnamie, najtrudniejszym na świecie konkursie matematycznym dla studentów! Skąd to wiem? Cóż, sam uruchomiłem Arystotelesa za pomocą publicznego API Harmonic. I zajęło mi to około 10 minut, aby się przygotować i rozpocząć! 9 z 10 problemów ukończono w mniej niż 3 godziny. Dziesiąty (B5) zajął 7 godzin, o godzinę więcej niż przyznano uczestnikom. Dla wszystkich 10 problemów podałem Arystotelesowi treści problemów w języku angielskim — a on automatycznie sformalizował te treści, udowodnił je i wygenerował zweryfikowane wyniki autonomicznie, bez żadnej ludzkiej interakcji. Jako ktoś, kto kocha matematykę, ale nie jest ekspertem, to ekscytujące mieć tak potężne narzędzie na wyciągnięcie ręki! 1/