Câu hỏi -- P có = NP không? -- là một thách thức lớn về mặt lý thuyết. Các nhà khoa học đã áp dụng phương pháp tiếp cận ý tưởng cho ăn bằng thìa vào GPT-4 để tìm kiếm câu trả lời.
Có thể trí tuệ nhân tạo có khả năng giải quyết vấn đề lớn nhất chưa được giải quyết của khoa học máy tính: câu hỏi...