Tôi hoàn toàn tin tưởng rằng các mô hình AI thông minh nhất hiện nay, GPT-5 Pro và Grok4 Heavy, đã đủ thông minh và chắc chắn có đủ kiến thức về toán học và AI để hình thành và phát triển những phát hiện lý thuyết và thực tiễn quan trọng, nếu được cung cấp những gợi ý thông minh đúng cách.