Mới đây, OpenAI đã công bố hàng loạt lời giải cho các bài toán phức tạp trên thế giới, tuy nhiên kết quả này chưa đáp ứng được các tiêu chuẩn khắt khe từ cộng đồng toán học chuyên nghiệp. Dù đã tham khảo Nhóm cố vấn Toán học và Trí tuệ Nhân tạo (AGMAI) thuộc Viện Nghiên cứu Cao cấp Princeton, OpenAI vẫn đi ngược lại một số khuyến nghị cốt lõi của tổ chức này.
Cụ thể, AGMAI khuyến cáo các phòng thí nghiệm không nên thử nghiệm toán học cao cấp trên các mô hình độc quyền, nhưng OpenAI vẫn tiếp tục sử dụng mô hình thương mại của mình. Trong số 719 bản thảo được phát hành, chỉ có 10 bài công khai chuỗi tư duy (chain of thought) của model. Ngoài ra, có tới 42% lời giải chưa trải qua quá trình hình thức hóa — tức chuyển đổi từ giải thích ngôn ngữ tự nhiên sang mã lập trình Lean để xác minh tính chính xác.
Nhà toán học nổi tiếng Terence Tao và nhóm nghiên cứu tại Đại học Cambridge chỉ ra rằng các bài toán đang được giải tự động bởi những người dùng prompt không hiểu sâu về toán học, tạo ra khoảng cách lớn giữa lời giải tự nhiên và mã chính thức. Sự kiện này thể hiện thách thức trong việc ứng dụng AI vào nghiên cứu khoa học đỉnh cao, nhắc nhở cộng đồng Research Việt Nam cần cẩn trọng và kiểm chứng kỹ lưỡng khi sử dụng kết quả do LLM tạo ra.
Nguồn: TechCrunch — Biên dịch & tổng hợp: danhbaai.com