Terence Tao describes how rapidly improving AI tools have changed his mathematical practice, enabling faster literature search, more ambitious experiments, and easier collaboration. He argues that AI-assisted mathematics is now ready for mainstream use.
Terence Tao mô tả cách các công cụ AI đang cải thiện nhanh chóng đã thay đổi phương pháp làm toán của ông, cho phép tìm kiếm tài liệu nhanh hơn, thử nghiệm tham vọng hơn và cộng tác dễ dàng hơn. Ông lập luận rằng toán học hỗ trợ bởi AI hiện đã sẵn sàng để sử dụng phổ biến.
music - I'm Terence Tao.
[nhạc] - Tôi là Terence Tao.
I'm director of special projects here at IPAM, the Institute for Pure and Applied Mathematics.
Tôi là giám đốc các dự án đặc biệt tại IPAM, Viện Toán học Thuần túy và Ứng dụng.
AI has really been um improving very rapidly.
AI thực sự đã, ừm, tiến bộ rất nhanh chóng.
It has allowed me to experiment.
Nó đã cho phép tôi thử nghiệm.
I will try crazier things.
Tôi sẽ thử những điều điên rồ hơn.
You can vibe on the blackboard and then if there's a computation that neither of us wants to do, we can just get our AI tool to finish that.
Bạn có thể phiêu trên bảng đen và sau đó nếu có một phép tính mà cả hai chúng ta đều không muốn làm, chúng ta chỉ cần để công cụ AI của mình hoàn thành nó.
- music - I can search literature much more accurately and effectively than I could before.
- [nhạc] - Tôi có thể tìm kiếm tài liệu chính xác và hiệu quả hơn nhiều so với trước đây.
So, I'm doing way more AI-assisted mathematics and collaborative projects.
Vì vậy, tôi đang làm nhiều toán học có sự hỗ trợ của AI và các dự án hợp tác hơn.
And now I think it's ready for prime time.
Và bây giờ tôi nghĩ nó đã sẵn sàng cho giờ cao điểm.