Tôi thích kết hợp các công cụ AI trong nghiên cứu của mình, và đây là một ý tưởng thú vị mà có lẽ chưa ai thử nghiệm. Đầu tiên, bạn tạo ra một chứng minh chính thức với Aristotle bởi @HarmonicMath. Tiếp theo, bạn hướng dẫn @NanoBanana (Pro) với lời nhắc sau: Hãy tạo một biểu đồ infographic minh họa trong đó mỗi giả thuyết và chứng minh của nó được liên kết với một chỉ số cụ thể dẫn đến kết luận cuối cùng (chứng minh của định lý chính). Bạn được hướng dẫn bởi mã Lean sau: <Lean code> Chúc bạn làm việc vui vẻ!