Ngoài toán học: Aristotle đạt được 96.8% trong việc tạo chứng minh SOTA trên VERINA: Đánh giá việc Tạo mã có thể xác minh. Bạn có thể đọc thêm về hiệu suất này trên blog kỹ thuật của chúng tôi được liên kết trong tiểu sử.