T2 · 27/07

Rohan Paul@rohanpaul_ai
Thủ thuật92

Từ mục tiêu cải thiện 3% Google Dịch đến sự ra đời của kiến trúc Transformer

Bài báo "Attention is All You Need" đình đám thực chất bắt nguồn từ nỗ lực cải thiện 3% hiệu suất cho Google Dịch. Câu chuyện này minh chứng rằng đổi mới sáng tạo thường là kết quả tất yếu của quá trình thực thi sản phẩm thực tế.

TransformerGoogleLịch sử AIĐổi mới sáng tạoDeep Learning
Nguồn tin AI· 3 nguồn
Sản phẩm85

Alibaba âm thầm thử nghiệm Qianwen Office: Hợp nhất các dòng Agent dưới sự dẫn dắt của CEO DingTalk

Alibaba vừa ra mắt bản thử nghiệm Qianwen Office, tích hợp ba dòng Agent gồm QoderWork, Wukong và MuleRun vào một nền tảng duy nhất. Dự án do CEO DingTalk trực tiếp chỉ đạo, tập trung chuyển đổi cách làm việc từ sử dụng công cụ sang ủy quyền cho AI.

AlibabaQianwenDingTalkAI AgentSaaS
BAIR: Berkeley AI Research Blog
Nghiên cứu85

ABBEL: Tối ưu hóa khả năng tóm tắt của LLM trong tương tác dài hạn thông qua 'nút thắt niềm tin'

BAIR giới thiệu khung ABBEL giúp cô lập quá trình tóm tắt thành các trạng thái niềm tin ngôn ngữ tự nhiên, giúp giảm 50% khoảng cách hiệu suất so với mô hình toàn ngữ cảnh và tiết kiệm 50% số bước huấn luyện.

LLMTóm tắt văn bảnNghiên cứu AITối ưu hóa mô hìnhBAIR
Hacker News Nổi bật (buzzing.cc bản dịch tiếng Trung)
Thủ thuật88

Tự động hóa chứng minh toán học với LLM: Xây dựng bộ giải nén Zstandard trong Lean

Tác giả ứng dụng LLM để tự động hóa việc viết mã chứng minh trong ngôn ngữ Lean, giúp giảm đáng kể công sức khi xây dựng bộ giải nén Zstandard. Đây là bước tiến quan trọng giúp các hệ thống kiểu phụ thuộc trở nên thực tiễn hơn trong kỹ thuật phần mềm.

LeanLLMChứng minh tự độngZstandardKỹ thuật phần mềm

30 tin mỗi trang · lọc và sắp xếp ngay trên máy chủ (37 ms) · bộ lọc nằm trong đường dẫn nên chia sẻ link là giữ nguyên kết quả