Chủ đề thịnh hành
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

nader dabit
🇵🇸 // devrel + dx @eigencloud @eigen_da @eigen_labs // ai & onchain // trước @aave @awscloud @celestia // 🫂 @developer_dao
Nghe thấy hôm qua ở Buenos Aires @jacobc_eth @CoinFello
"công việc đang được thực hiện với EigenAI về tính xác định là một trong những công việc quan trọng nhất đang diễn ra trong lĩnh vực này ngay bây giờ"
Thật thú vị khi những ứng dụng mới trở nên khả thi nhờ vào những nguyên tắc mới và theo dõi các nhà sáng lập tận dụng những cơ hội này.

10,69K
Một cái nhìn sâu sắc tuyệt vời khác từ @karpathy, chỉ ra tầm quan trọng của khả năng xác minh AI
"Tôi nghĩ phép ẩn dụ mạnh mẽ nhất là AI như một mô hình tính toán mới (Phần mềm 2.0)
... Phần mềm 1.0 dễ dàng tự động hóa những gì bạn có thể chỉ định. Phần mềm 2.0 dễ dàng tự động hóa những gì bạn có thể xác minh.
... Trong mô hình lập trình mới này, đặc điểm dự đoán mạnh nhất mà bạn nên xem xét là khả năng xác minh.
Nếu một nhiệm vụ/công việc có thể xác minh, thì nó có thể được tối ưu hóa trực tiếp hoặc thông qua học tăng cường, và một mạng nơ-ron có thể được đào tạo để hoạt động cực kỳ tốt."
Khả năng xác minh trong khung này xoay quanh bối cảnh đào tạo/tối ưu hóa - việc đánh giá xem đầu ra của AI có chính xác hay không + cho phép tự động hóa tốt hơn nhờ vào điều đó.
Khả năng xác minh trong AI + crypto tập trung nhiều hơn vào bối cảnh thực thi.
- Chúng ta có thể xác minh rằng đầu vào, mô hình và đầu ra là chính xác và không bị can thiệp (suy diễn có thể xác minh)
- Có ai trên thế giới có thể thực hiện lại suy diễn này và nhận được cùng một kết quả hôm nay, ngày mai và 1 năm nữa không (suy diễn xác định)
- Chúng ta có thể xác minh mã chính xác đang chạy tác nhân này (thời gian chạy có thể xác minh)
- Chúng ta có thể xác minh rằng chỉ có tác nhân này có quyền truy cập và khả năng giao dịch từ ví của nó (thời gian chạy có thể xác minh)
- Chúng ta có thể xác minh danh tiếng của tác nhân này (ERC-8004)

Andrej Karpathy01:56 17 thg 11
Chia sẻ một cuộc trò chuyện thú vị gần đây về tác động của AI đối với nền kinh tế.
AI đã được so sánh với nhiều tiền lệ lịch sử khác nhau: điện, cách mạng công nghiệp, v.v., tôi nghĩ phép ẩn dụ mạnh mẽ nhất là AI như một mô hình tính toán mới (Phần mềm 2.0) vì cả hai đều liên quan đến việc tự động hóa quá trình xử lý thông tin kỹ thuật số.
Nếu bạn dự đoán tác động của tính toán đối với thị trường lao động vào khoảng những năm 1980, đặc điểm dự đoán nhất của một nhiệm vụ/công việc mà bạn sẽ xem xét là mức độ mà thuật toán của nó được cố định, tức là bạn có chỉ đang biến đổi thông tin một cách cơ học theo các quy tắc dễ dàng xác định (ví dụ: gõ phím, kế toán, máy tính con người, v.v.)? Ngày đó, đây là loại chương trình mà khả năng tính toán của thời đại đó cho phép chúng ta viết (bằng tay, thủ công).
Với AI hiện nay, chúng ta có thể viết những chương trình mới mà trước đây chúng ta không thể hy vọng viết bằng tay. Chúng ta làm điều này bằng cách xác định các mục tiêu (ví dụ: độ chính xác phân loại, hàm thưởng), và chúng ta tìm kiếm không gian chương trình thông qua phương pháp giảm dần để tìm các mạng nơ-ron hoạt động tốt với mục tiêu đó. Đây là bài viết blog Phần mềm 2.0 của tôi từ một thời gian trước. Trong mô hình lập trình mới này, đặc điểm dự đoán mới nhất cần xem xét là khả năng xác minh. Nếu một nhiệm vụ/công việc có thể xác minh, thì nó có thể được tối ưu hóa trực tiếp hoặc thông qua học tăng cường, và một mạng nơ-ron có thể được đào tạo để hoạt động cực kỳ tốt. Nó liên quan đến mức độ mà một AI có thể "thực hành" một cái gì đó. Môi trường phải có thể thiết lập lại (bạn có thể bắt đầu một nỗ lực mới), hiệu quả (có thể thực hiện nhiều nỗ lực), và có thể thưởng (có một quy trình tự động để thưởng cho bất kỳ nỗ lực cụ thể nào đã thực hiện).
Càng nhiều một nhiệm vụ/công việc có thể xác minh, nó càng dễ dàng cho việc tự động hóa trong mô hình lập trình mới. Nếu nó không thể xác minh, nó phải rơi vào phép thuật nơ-ron của sự tổng quát, cầu mong, hoặc thông qua các phương tiện yếu hơn như bắt chước. Đây là điều đang thúc đẩy "ranh giới" không đồng đều của sự tiến bộ trong LLMs. Các nhiệm vụ có thể xác minh tiến triển nhanh chóng, bao gồm có thể vượt qua khả năng của các chuyên gia hàng đầu (ví dụ: toán học, mã, thời gian xem video, bất cứ điều gì trông giống như câu đố có câu trả lời đúng), trong khi nhiều nhiệm vụ khác chậm lại so với sự so sánh (sáng tạo, chiến lược, các nhiệm vụ kết hợp kiến thức thực tế, trạng thái, ngữ cảnh và lẽ phải thông thường).
Phần mềm 1.0 dễ dàng tự động hóa những gì bạn có thể xác định.
Phần mềm 2.0 dễ dàng tự động hóa những gì bạn có thể xác minh.
8,76K
Hàng đầu
Thứ hạng
Yêu thích


