Thủ thuật · X: Hongming (@hongming731)
Điểm tin AI 05/07: OpenAI Codex phổ biến, Kimi gia nhập GitHub Copilot và các cập nhật quan trọng
Tổng hợp 10 tin tức AI nổi bật: OpenAI Codex đạt độ phủ cao, Kimi K2.7 Code tích hợp vào GitHub Copilot, Mistral ra mắt mô hình kiểm chứng Leanstral 1.5 và các giải pháp tối ưu hóa chi phí token cho A
Lý do đề xuất
Tin tức tổng hợp chất lượng, cập nhật nhanh các xu hướng kỹ thuật và sản phẩm mới nhất, rất hữu ích cho người làm công nghệ.
Tóm tắt
Tổng hợp 10 tin tức AI nổi bật: OpenAI Codex đạt độ phủ cao, Kimi K2.7 Code tích hợp vào GitHub Copilot, Mistral ra mắt mô hình kiểm chứng Leanstral 1.5 và các giải pháp tối ưu hóa chi phí token cho AI Agent.
Bản dịch AI
Greg Brockman cho biết tỷ lệ phổ biến của OpenAI Codex trong nội bộ công ty tương đương với Slack. Đáng chú ý, ngữ cảnh (context) của mô hình đã tăng vọt từ 2-4K tokens vào năm 2023 lên mức 52M tokens hiện nay.
Hiệu suất bộ nhớ đệm (cache hit rate) của các mô hình ngôn ngữ lớn đạt tới 90%. Kết quả này đến từ việc kết hợp KV Cache, Prefix Caching và các lệnh gọi chỉ thêm (append-only) theo phong cách agent.
Mistral AI đã phát hành Leanstral 1.5, một mô hình mã nguồn mở với 6 tỷ tham số chuyên về xác thực hình thức (formal verification). Mô hình này đã đạt trạng thái bão hòa trên miniF2F và thiết lập kỷ lục mới (SOTA) trên FATE.
Kimi K2.7 Code chính thức trở thành mô hình mở trọng số đầu tiên được tích hợp vào GitHub Copilot.
Nghiên cứu cho thấy việc sử dụng giao diện hệ thống tệp (file system interface) giúp các AI Agent giảm 45% lượng tiêu thụ token và tiết kiệm 39% chi phí so với việc sử dụng SQL.
Dự án Speedrun mới nhất của a16z đang chuyển hướng tập trung vào các công việc thực tế, phức tạp trong các ngành dọc như thuế và xây dựng.
Ý chính từ bài gốc
- OpenAI Codex đạt độ phổ biến cao, ngữ cảnh mô hình tăng lên 52M tokens.
- Tối ưu hóa bộ nhớ đệm giúp đạt tỷ lệ hit rate lên tới 90%.
- Mistral AI ra mắt Leanstral 1.5, mô hình xác thực hình thức 6B tham số.
- Kimi K2.7 Code là mô hình mở đầu tiên có mặt trên GitHub Copilot.
- Giao diện hệ thống tệp giúp AI Agent giảm 45% token và 39% chi phí.
- a16z tập trung vào các ngành dọc như thuế và xây dựng qua dự án Speedrun.
Bài viết được AI dịch và tổng hợp tự động từ X/Twitter. Liên kết bài gốc ở phía trên. AIHOT.vn luôn dẫn nguồn đầy đủ — nếu bạn thấy điểm cần chỉnh sửa, hãy gửi ý kiến tại trang phản hồi.