Science

AI giải được bài toán Erdos tồn tại hàng thập kỷ, thúc đẩy lời kêu gọi về hàng rào bảo vệ trong nghiên cứu

23 views

AI đạt được đột phá trong toán học thuần túy

Một hệ thống trí tuệ nhân tạo đã giải được một bài toán tồn tại hàng thập kỷ gắn liền với Paul Erdos, một trong những nhà toán học có nhiều công trình nhất trong lịch sử. Bài toán, vốn đã chống lại mọi giải pháp của con người trong nhiều năm, đã được AI giải quyết bằng cách thể hiện khả năng suy luận trừu tượng mà trước đây được cho là độc quyền của các nhà toán học. Thành tựu này được ca ngợi là một cột mốc trong nghiên cứu AI.

Các nhà khoa học kêu gọi khuôn khổ giám sát mới

Sau bước đột phá, các chuyên gia khoa học và nhà toán học kêu gọi các hàng rào bảo vệ để quản lý nghiên cứu do AI thúc đẩy. Mối lo ngại là các hệ thống AI có thể tạo ra kết quả nhanh hơn khả năng xác thực hoặc hiểu biết của cộng đồng khoa học. Lời kêu gọi này phản ánh các cuộc tranh luận rộng hơn về an toàn và minh bạch AI, khi các nhà nghiên cứu vật lộn với những hàm ý của máy móc có thể sánh ngang hoặc vượt quá khả năng của con người trong các lĩnh vực chuyên môn.

NASA thu hẹp tham vọng săn tìm sự sống trên sao Hỏa

Trong tin tức khoa học khác, NASA dường như đang rút lui khỏi mục tiêu săn tìm sự sống trên sao Hỏa đã tồn tại lâu dài, theo các nhà khoa học hành tinh. Chiến lược đang phát triển của cơ quan vũ trụ ưu tiên mang mẫu vật về Trái đất hơn là phát hiện sự sống tại chỗ. Trong khi đó, 'đốm lạnh' ở Bắc Đại Tây Dương có thể báo hiệu sự suy giảm của Dòng chảy Đại Tây Dương Meridional Overturning Circulation (AMOC), một dòng hải lưu điều hòa khí hậu mà các nhà khoa học cho thấy đang suy yếu đáng lo ngại.

Source: Daily8News