Dù sao, tôi nghĩ chúng ta đã hoàn thành với vòng cuối cùng của phản ứng hoài nghi với AI sau Navier-Stokes. Vâng, AI bây giờ có khả năng sản xuất bằng chứng mới cho các vấn đề khó khăn mà đã trốn thoát chúng ta dòng tiếp theo sẽ là điều này chỉ bị hạn chế với toán học vì huấn luyện RL. Tôi nghi ngờ không, chúng ta sẽ thấy.
Anyhow, I think we are now done with the last round of skeptical responses to AI after Navier-Stokes. Yes, AI is now capable of producing novel proofs to hard problems that have eluded us The next line will be that this is only constrained to math because of RL training. I suspect not, we will see.
Đoạn trích bài viết
Dù sao, tôi nghĩ chúng ta đã hoàn thành với vòng cuối cùng của phản ứng hoài nghi với AI sau Navier-Stokes. Vâng, AI bây giờ có khả năng sản xuất bằng chứng mới cho các vấn đề khó khăn mà đã trốn thoát chúng ta dòng tiếp theo sẽ là điều này chỉ bị hạn chế với toán học vì huấn luyện RL. Tôi nghi ngờ không, chúng ta sẽ thấy.
Toàn văn bài viết
Mở bài viết gốc
Đọc bài viết đầy đủ trên bluesky
Mở bài gốc để xem trọn vẹn chi tiết và dẫn chứng.