Generatived (Beta) | Cung cấp tin tức và xu hướng mới nhất về AI sáng tạo

Một nhóm nghiên cứu học thuật gần đây đã thử nghiệm trí tuệ nhân tạo (AI) với First Proof, một tập hợp các thách thức toán học phức tạp đòi hỏi suy luận sâu rộng và sự xác nhận của chuyên gia. Các bài toán, được thiết kế bởi các chuyên gia hàng đầu, yêu cầu xây dựng các lập luận toàn diện, một nhiệm vụ đã làm khó các chuyên gia trong nhiều năm. Mô hình AI của nhóm đã cố gắng giải quyết những vấn đề này, với các nỗ lực chứng minh được công bố để cộng đồng và chuyên gia xem xét.

Phản hồi từ cộng đồng học thuật cho thấy ít nhất năm trong số các nỗ lực chứng minh của AI có thể đúng, với một số nỗ lực khác vẫn đang được xem xét kỹ lưỡng. Mặc dù ban đầu tự tin vào một trong những bằng chứng, nhưng phân tích sâu hơn đã dẫn nhóm đến kết luận rằng nó không chính xác. Các nhà nghiên cứu đã bày tỏ sự cảm kích đối với sự tham gia của cộng đồng và mong muốn tiếp tục được xem xét. Họ đã công khai các nỗ lực chứng minh của mình, bao gồm cả phụ lục được thiết kế để mô phỏng lại các tương tác thủ công của họ với AI trong quá trình này.

Nhóm nhấn mạnh tầm quan trọng của các thách thức nghiên cứu mới trong việc đánh giá khả năng của các mô hình AI thế hệ tiếp theo. Họ lưu ý rằng các tiêu chuẩn truyền thống có thể bỏ qua sự phức tạp của nghiên cứu, chẳng hạn như duy trì các lập luận logic và xử lý các vấn đề mơ hồ. Thử thách First Proof đóng vai trò là một bài kiểm tra nghiêm ngặt về khả năng của AI trong việc tạo ra các lập luận có thể kiểm chứng được trong môi trường nghiên cứu.

Mô hình AI được vận hành với sự can thiệp tối thiểu của con người, mặc dù vẫn có một số hướng dẫn dựa trên các chiến lược thành công trước đó. Nhóm nghiên cứu cũng sử dụng phản hồi từ các chuyên gia để tinh chỉnh các bằng chứng của AI, và hợp tác với ChatGPT để xác minh và tinh chỉnh thêm. Mặc dù dự án tiến triển nhanh chóng, các nhà nghiên cứu thừa nhận cần có một quy trình đánh giá có cấu trúc hơn trong các thí nghiệm tương lai. Sáng kiến ​​này dựa trên những thành tựu trước đây trong lý luận AI, bao gồm điểm số cao tại Olympic Toán học Quốc tế và những đóng góp cho nghiên cứu khoa học trên nhiều lĩnh vực khác nhau. Nhóm nghiên cứu mong muốn tiếp tục hợp tác với cộng đồng để tinh chỉnh việc đánh giá lý luận cấp độ nghiên cứu và tích hợp những tiến bộ này vào các mô hình AI công cộng trong tương lai.