Terence Tao: "seriously, where we are right now is not right" Fine, AI is solving major conjecture…
DịchThiên tài toán học Terence Tao cho rằng dù AI có khả năng giải các giả thuyết phức tạp, nhưng giá trị thực tiễn mang lại vẫn còn hạn chế. Ông nhấn mạnh chúng ta không cần vội vàng giải quyết các bài toán thế kỷ như Riemann hay Navier-Stokes.
Các nhà nghiên cứu tại Đại học Hồ Nam đã sử dụng OpenAI Codex để hỗ trợ chứng minh giả thuyết Hadwiger tồn tại từ năm 1974, mở ra cuộc thảo luận về vai trò của AI trong việc giải quyết các bài toán toán học hóc búa.
Rohan Paul@rohanpaul_aiAI is getting good enough at mathematics that the harder problem is deciding which problems deserve …
DịchKhung FAR chuyển hướng AI từ việc chỉ giải bài tập sang chủ động tìm kiếm và sàng lọc các giả thuyết toán học tiềm năng. Trong thử nghiệm, hệ thống đã lọc hàng chục nghìn bài báo để tìm ra các lời giải mới có độ chính xác cao, giúp tối ưu hóa công việc cho các chuyên gia.
