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!