Rất vui mừng khi ra mắt RamaX: nền tảng của chúng tôi cho việc sàng lọc siêu nhanh, chính xác và nhạy cảm các thư viện binder khổng lồ (từ 1K đến 1B minibinders, VHHs, hoặc scFvs) chỉ trong 1-2 tuần. Phương pháp này đã thực sự thay đổi cuộc chơi cho chúng tôi tại @diffuse_bio. Bên trong, chúng tôi đã hoàn toàn chuyển từ hiển thị men bia sang RamaX để sàng lọc các thiết kế của mình. Chúng tôi cũng đang sử dụng RamaX để tạo ra các tập dữ liệu khổng lồ để đào tạo các mô hình sinh protein của mình. 🧵 1/

Aristotle từ @HarmonicMath đã giải được 10/12 bài toán trong vòng 7 giờ tại Putnam, cuộc thi toán học đại học khó nhất thế giới! Làm thế nào tôi biết điều này? Chà, tôi đã chạy Aristotle qua API công khai của Harmonic. Và tôi mất khoảng 10 phút để bắt đầu và khởi động nó! 9 trong số 10 bài toán đã hoàn thành trong chưa đầy 3 giờ. Bài thứ mười (B5) mất 7 giờ, một giờ nhiều hơn so với thời gian mà các thí sinh được phép. Đối với tất cả 10 bài toán, tôi đã cung cấp cho Aristotle các đề bài bằng tiếng Anh — và nó tự động hóa các đề bài, chứng minh chúng, và sản xuất các đầu ra đã được xác minh một cách tự động, mà không cần phản hồi từ con người. Là một người yêu thích toán học nhưng không phải là chuyên gia, thật thú vị khi có một công cụ mạnh mẽ như vậy trong tầm tay!