Tin tức từ Gate, ngày 24 tháng 4 — DeepSeek V4 đã công bố kết quả từ các bài đánh giá suy luận toán học chính thức, đạt điểm tuyệt đối 120/120 trên Putnam-2025, hòa với Axiom ở vị trí số 1.
Trong chế độ thực dụng sử dụng LeanExplore và lấy mẫu bị ràng buộc, V4-Flash-Max đạt 81.00 trên chuẩn điểm Putnam-200 Pass@8, vượt trội đáng kể so với Seed-2.0-Prover (35.50), Gemini 3 Pro (26.50) và Seed-1.5-Prover (26.50). Kết quả ở chế độ biên cho thấy V4 đứng trước Seed-1.5-Prover (110/120) và Aristotle (100/120).
V4 sử dụng một cách tiếp cận suy luận lai chính thức-vô chính thức: suy luận vô chính thức tạo ra các giải pháp ứng viên bằng ngôn ngữ tự nhiên, tự kiểm chứng lọc các kết quả, và tác nhân chính thức hoàn thiện các phép chứng chặt chẽ trong Lean. Kết quả ở chế độ biên sử dụng khả năng mở rộng tính toán quy mô lớn, trong khi điểm số ở chế độ thực dụng phản ánh tốt hơn năng lực triển khai tiêu chuẩn.
Tuyên bố miễn trừ trách nhiệm: Thông tin trên trang này có thể đến từ bên thứ ba và không đại diện cho quan điểm hoặc ý kiến của Gate. Nội dung hiển thị trên trang này chỉ mang tính chất tham khảo và không cấu thành bất kỳ lời khuyên tài chính, đầu tư hoặc pháp lý nào. Gate không đảm bảo tính chính xác hoặc đầy đủ của thông tin và sẽ không chịu trách nhiệm cho bất kỳ tổn thất nào phát sinh từ việc sử dụng thông tin này. Đầu tư vào tài sản ảo tiềm ẩn rủi ro cao và chịu biến động giá đáng kể. Bạn có thể mất toàn bộ vốn đầu tư. Vui lòng hiểu rõ các rủi ro liên quan và đưa ra quyết định thận trọng dựa trên tình hình tài chính và khả năng chấp nhận rủi ro của riêng bạn. Để biết thêm chi tiết, vui lòng tham khảo
Tuyên bố miễn trừ trách nhiệm.
Bài viết liên quan
Ấn Độ Tuyển dụng Kỹ sư AI Bùng nổ 59,5%, Mở rộng ra Ngoài Các Trung tâm Công nghệ
Báo cáo Thị trường Lao động AI của LinkedIn năm 2026, được phát hành vào ngày 24 tháng 4, cho thấy việc tuyển dụng kỹ sư AI tại Ấn Độ đã tăng 59,5% so với cùng kỳ năm trước, đánh dấu tốc độ nhanh nhất trong số các thị trường được nền tảng này nghiên cứu.
Sự tăng trưởng được thúc đẩy bởi nhu cầu lan rộng vượt ra ngoài các trung tâm công nghệ đã được thiết lập. Các thành phố bao gồm
CryptoFrontier10phút trước
Ngân hàng Commonwealth Cắt Giảm 120 Việc Làm Giữa Đợt Mở Rộng AI
Ngân hàng Commonwealth Bank of Australia thông báo họ sẽ cắt giảm khoảng 120 việc làm khi ngân hàng lớn nhất của quốc gia này rà soát các vị trí và mở rộng việc sử dụng trí tuệ nhân tạo, theo Bloomberg. Các đợt cắt giảm bao gồm 43 vị trí tại Bankwest ở Tây Úc, với sáu vị trí bị ảnh hưởng bởi tự động hóa. Điều này là
CryptoFrontier19phút trước
Cursor vạch ra lý do huấn luyện XAI: năng lực tính toán bị kẹt, SpaceX nắm riêng quyền chọn mua trị giá 60 tỷ USD
Anysphere thông báo rằng Cursor sẽ cùng xAI sử dụng hạ tầng Colossus để huấn luyện mô hình mới nhằm vượt qua nút thắt về năng lực tính toán; SpaceX đưa ra quyền chọn mua lại trị giá 60 tỷ USD (trong vòng 2026 có thể mua lại toàn bộ), nếu không thì sẽ thanh toán khoảng 10 tỷ USD như khoản bồi thường hợp tác. Hai giao dịch được tiến hành đồng thời, định hình ai có thể huấn luyện Cursor và ai có thể mua lại Cursor; Cursor vẫn cho phép nhiều backend mô hình, nhưng về dài hạn sẽ phụ thuộc vào việc SpaceX có thực hiện quyền mua lại hay không.
ChainNewsAbmedia37phút trước
Định giá thị trường thứ cấp của Anthropic vượt 1 nghìn tỷ USD: Forge Global vượt OpenAI 8.800 tỷ
Theo báo cáo của Decrypt, định giá cấp hai của Anthropic của Forge Global khoảng 1 nghìn tỷ USD, của OpenAI khoảng 880 tỷ USD, và lần đầu tiên trên thị trường cấp hai xảy ra sự đảo chiều dẫn đầu. ARR của Anthropic tăng từ khoảng 9 tỷ vào cuối năm 2025 lên khoảng 30 tỷ vào tháng 3 năm 2026, tăng trưởng trong ba tháng là 233%, qua đó thúc đẩy định giá tư nhân. Định giá cấp hai khác với vòng gọi vốn cấp một, phản ánh niềm tin vào việc thoái vốn; trong tương lai vẫn cần nhìn bốn kênh là công nghệ, chính sách, kinh doanh và câu chuyện.
ChainNewsAbmedia38phút trước
Meta Platforms Dự Kiến Cắt Giảm 10% Nhân Sự Vào Ngày 20 Tháng 5, Ảnh Hưởng Khoảng 8.000 Vị Trí
Tin tức từ Gate, ngày 24 tháng 4 — Meta Platforms dự kiến cắt giảm nhân sự của mình khoảng 10%, ảnh hưởng đến khoảng 8.000 vị trí, vào ngày 20 tháng 5. Các đợt sa thải được dự định nhằm nâng cao hiệu quả hoạt động đồng thời tăng đầu tư vào trí tuệ nhân tạo.
Việc tái cơ cấu theo kế hoạch phản ánh
GateNews1giờ trước
Chính phủ Trump công bố kế hoạch trấn áp AI dùng để tinh luyện, cáo buộc các doanh nghiệp Trung Quốc có hệ thống trộm năng lực mô hình
Văn phòng Chính sách Công nghệ của Nhà Trắng (OSTP) Trợ lý Tổng thống Michael J. Kratsios (Michael J. Kratsios) vào ngày 23 tháng 4 đã đưa ra tuyên bố chính thức, cho biết chính quyền Trump nắm giữ thông tin, cho thấy các thực thể nước ngoài (chủ yếu đặt tại Trung Quốc) đang cố ý nhắm mục tiêu vào các công ty trí tuệ nhân tạo lớn của Mỹ, thông qua việc “hàng chục nghìn tài khoản đại lý” và các hệ thống kỹ thuật jailbreak để có được một cách có hệ thống năng lực của các mô hình AI của Mỹ, đồng thời công bố bốn biện pháp ứng phó.
MarketWhisper1giờ trước
