Theo dữ liệu giám sát từ Beating, Cao Nguyên - cựu nhà khoa học nghiên cứu cấp cao tại Google DeepMind, đồng sáng lập kiêm CEO của Unreasonable Labs - cho rằng AI for Science đang bước vào giai đoạn bùng nổ. Nhưng để AI thực sự độc lập tạo ra những khám phá khoa học đạt cấp độ giải Nobel, ít nhất cần thêm hai đến ba thập kỷ nữa. Cao Nguyên trước đây từng tham gia các dự án như Gemini, và hiện tại hướng khởi nghiệp của ông cũng là giúp AI khám phá tri thức mới.
Ông cho rằng, rào cản lớn nhất hiện nay là khâu kiểm chứng. Viết mã có thể chạy thử nghiệm ngay lập tức, toán học còn có thể dùng Lean để kiểm tra chứng minh từng bước. Nhưng sinh học, vật liệu và vật lý cuối cùng đều phải thực hiện thí nghiệm thực tế. Một thí nghiệm có thể rất tốn kém, hoặc phải chờ đợi rất lâu, khiến AI khó có thể liên tục thử-sai nhanh chóng như Coding Agent.
Khó khăn hơn nữa là "tạo ra khái niệm mới". Cao Nguyên cho rằng, các mô hình hiện tại rất giỏi tìm kiếm câu trả lời trong kho tri thức, định nghĩa và định lý đã có, nhưng vẫn chưa thể như các nhà khoa học hàng đầu, trừu tượng hóa ra các đối tượng toán học, định nghĩa và lý thuyết mới. Ông gọi sự "trừu tượng hóa khái niệm" này là "dặm cuối" của AGI.
