Kết quả tìm kiếm cho "AGENT"
Hôm nay
06:55

Mistral AI phát hành Leanstral: Agent mã nguồn mở Lean 4 đầu tiên, có thể tự động xuất bản chứng minh hình thức

Mistral AI phát hành Leanstral, một mã tác nhân nguồn mở, được thiết kế đặc biệt cho xác minh hóa hình thức Lean 4, có khả năng tạo mã và chứng minh có thể được tự động xác thực. Mô hình sử dụng kiến trúc MoE thưa thớt, hoạt động vượt trội so với các mô hình hàng đầu khác, và cung cấp tải xuống miễn phí và gọi API.
Xem thêm
02:05

NVIDIA phát hành bộ xử lý CPU Vera, được thiết kế riêng cho Agent AI, Alibaba, ByteDance và những công ty khác đã lên kế hoạch triển khai

Nvidia đã phát hành Vera CPU tại hội nghị GTC, một bộ xử lý đầu tiên được thiết kế cho Agent AI và học tập có phân thưởng, với 88 lõi tự phát triển độc lập, hỗ trợ xử lý song song đa tác vụ. Bộ nhớ cao băng thông của nó giúp giảm tiêu thụ năng lượng, nhiều nhà cung cấp dịch vụ đám mây và nhà sản xuất phần cứng đã lên kế hoạch thích ứng, dự kiến sẽ cải thiện hiệu suất lập trình AI và xử lý dữ liệu luồng, dự kiến sẽ giao hàng trong nửa năm sau.
Xem thêm
01:21

Nvidia phát hành nền tảng mở Agent Toolkit, Huang Renxun nói Claude Code và OpenClaw kích hoạt điểm tipping của Agent

Nvidia đã phát hành nền tảng mở Agent Toolkit tại hội nghị GTC, với lõi tâm là thời gian chạy nguồn mở an toàn OpenShell, nhằm cung cấp bảo vệ an toàn cho AI Agent. Huang Renxun chỉ ra rằng AI sẽ mở rộng từ lý luận sinh thành thành hành động, và ngành phần mềm doanh nghiệp sẽ phát triển thành nền tảng Agent chuyên biệt. Nền tảng hợp tác với nhiều công cụ bảo mật, đã có 17 nhà cung cấp phần mềm tích hợp.
Xem thêm
13:31

Nhà nghiên cứu tiền mã hóa: 70% trong 20 nhà giao dịch sinh lợi hàng đầu trên Polymarket là bot

Gate News tin tức, ngày 16 tháng 3, nhà nghiên cứu tiền điện tử Stacy Muur đã tiết lộ trên nền tảng X rằng trong 20 nhà giao dịch có lợi nhuận cao nhất trên Polymarket, có 14 người là tài khoản bot, chiếm 70%. Stacy Muur cho rằng việc xây dựng cơ sở hạ tầng nền tảng thị trường dự đoán chuyên dụng cho AI Agent rất có khả năng trở thành một hướng dự án có giá trị hàng tỷ đô la.
Xem thêm
06:01

27 công ty SaaS liệt kê AI agent là rủi ro cạnh tranh trong hồ sơ SEC, nhưng các giám đốc điều hành lại công khai giảm nhẹ mối đe dọa

Kể từ đầu năm nay, đã có 27 công ty phần mềm đề cập đến AI agent như một rủi ro cạnh tranh trong hồ sơ đăng ký, nhưng các lãnh đạo thường giảm nhẹ mối đe dọa này trong các cuộc họp báo cáo tài chính, phản ánh sự mâu thuẫn giữa hồ sơ đăng ký và các phát biểu công khai. Hiện tượng này đã gây lo ngại cho các nhà đầu tư về ngành phần mềm, một số công ty đã chứng kiến giá cổ phiếu giảm mạnh, tạo thành tình huống gọi là "ngày tận thế của SaaS".
Xem thêm
05:32

Gate đưa ra nền tảng tổng hợp AI GateRouter, truy cập một cú nhấp 25+ mô hình lớn và tiết kiệm tối đa 80% chi phí

Gate vào ngày 16 tháng 3 đã ra mắt nền tảng tổng hợp AI GateRouter, cung cấp cho các nhà phát triển và AI Agent một điểm truy cập gọi mô hình thống nhất. Người dùng có thể nhanh chóng kết nối với nhiều mô hình lớn chính thông qua một API duy nhất và tận hưởng mô hình trả phí theo nhu cầu, không cần thẻ tín dụng hoặc đăng ký, với độ tin cậy cao và sử dụng thuận tiện.
Xem thêm
03:37

OpenAI, Baidu, Tencent Cloud tài trợ khung công tác AI agent mã nguồn mở OpenClaw, nhà sáng lập Path Dave Morin làm chủ tịch hội đồng quản trị đầu tiên của quỹ

Dự án OpenClaw đã nhận được tài trợ từ OpenAI và Baidu trên GitHub, với Baidu trở thành công ty công nghệ Trung Quốc đầu tiên hỗ trợ dự án này thông qua GitHub Sponsors, và có kế hoạch tích hợp PaddleOCR. Tencent Cloud Lite cũng gia nhập hàng ngũ các nhà tài trợ. Người sáng lập Peter Steinberger cam kết sẽ hoàn lại 100% quỹ tài trợ cho cộng đồng, dùng để khuyến khích những người đóng góp và hỗ trợ các dự án mã nguồn mở thượng nguồn.
Xem thêm
01:41

Kevin O'Leary đặt cược 1,000 đô la trên Kalshi, dự đoán Timothée Chalamet sẽ giành Oscar Diễn viên chính nam xuất sắc nhất

Kevin O'Leary đã tiết lộ trên thảm đỏ lễ trao giải Oscar rằng anh ấy đã đặt cược 1,000 đô la cho Timothée Chalamet để giành giải Nam diễn viên chính xuất sắc nhất. Chalamet hiện có xác suất chiến thắng là 31% trên các thị trường dự đoán. Nếu giành giải, anh ấy sẽ trở thành người thắng giải Nam diễn viên chính xuất sắc nhất trẻ thứ hai trong lịch sử Oscar, với những đối thủ cạnh tranh bao gồm Michael B. Jordan và Leonardo DiCaprio.
Xem thêm
14:35
1

Sky Protocol Phê duyệt 70 triệu USDS hỗ trợ giai đoạn khởi động Sky Agent

Sky Protocol Governance Committee đã phê duyệt phân bổ 70 triệu USDS để hỗ trợ giai đoạn khởi động của Sky Agent. Phân bổ quỹ bao gồm 25 triệu USDS cho mỗi Keel, Amatsu và Ozone, 10 triệu USDS phân bổ cho Agent chưa công khai. Quỹ sẽ được chuyển sau cuộc bỏ phiếu ngày 26 tháng 3, vẫn được kiểm soát bởi giao thức.
Xem thêm
SKY12,38%
13:32

Gate ra mắt nền tảng định tuyến AI GateRouter, hỗ trợ gọi API thống nhất cho 25+ mô hình lớn phổ biến

GateRouter ra mắt vào ngày 13 tháng 3, cung cấp nền tảng gọi mô hình lớn thống nhất dành cho các nhà phát triển, hỗ trợ hơn 25 mô hình chính. Người dùng có thể truy cập qua một API duy nhất, hệ thống tự động ghép nối mô hình để giảm thiểu chi phí suy luận AI. Các nhà phát triển có thể nhanh chóng tích hợp và quản lý API, trong tương lai sẽ triển khai chế độ thanh toán theo mức sử dụng.
Xem thêm