Grok 4.5 Giúp Bác Bỏ Một Giả Thuyết Toán Học Chưa Được Giải Quyết Trong Khoảng 30 Năm
xAI
Mô hình Grok 4.5 của xAI đã hỗ trợ bác bỏ một giả thuyết toán học tồn tại lâu đời mà đã chưa được giải quyết trong khoảng ba thập kỷ. Sự hợp tác này làm nổi bật tính hữu ích của trí tuệ nhân tạo tiên tiến trong nghiên cứu toán học.
Theo một báo cáo, Grok 4.5, mô hình do xAI phát triển, đã góp phần bác bỏ một giả thuyết toán học tồn tại khoảng 30 năm chưa được giải quyết. Thành tựu này nhấn mạnh tiềm năng của AI trong việc hỗ trợ giải quyết các bài toán phức tạp, đánh dấu một cột mốc đáng chú ý ở giao điểm giữa trí tuệ nhân tạo và toán học.
Nguồn: xAI Grok (GNews) —
bản gốc