Ừ, việc chứng minh các bài toán Erdős với @HarmonicMath Aristotle thật tuyệt, nhưng bạn đã thử sử dụng nó để xác minh các giải pháp kiểu LeetCode chưa? Chúng tôi đã thử. Nó hoạt động (suy diễn bất biến thì... vẫn chưa nhanh lắm).