Tới nội dung
Chỉ Chính chủ#Microsoft
Hôm nay13 tháng 11Thứ Sáu2 mục
  1. Microsoft Research22

    Microsoft Research Focus Edition #98: Dịch thuật AI, chứng minh giả thuyết KLS và tác nhân lập trình nhanh hơn

    Microsoft Research Focus Edition #98 nêu bật những tiến bộ AI đưa dịch thuật phổ quát đến gần thực tế hơn và một chứng minh mới giải quyết giả thuyết KLS đã tồn tại 31 năm trong hình học chiều cao. Ấn bản cũng đề cập CompactionBench và APEC, giúp giảm chi phí nén ngữ cảnh của tác nhân lập trình tới 25,4% và thời gian thực thi 9,6%, cùng với Latent Core Tokenizer, cải thiện token hóa trên 104 ngôn ngữ.

  2. AWS Machine Learning Blog38

    DXC Technology đã xây dựng nền tảng AI đa mô hình trên Amazon Bedrock như thế nào

    DXC Technology đã xây dựng nền tảng mô hình cho bộ công cụ vận hành IT DXC OASIS trên Amazon Bedrock, truy cập Anthropic Claude, Amazon Nova, Meta Llama và các mô hình trọng số mở thông qua một giao diện quản lý duy nhất. Amazon Bedrock Guardrails áp dụng lọc nội dung, che giấu PII và chính sách chủ đề bị cấm một cách thống nhất trên mọi mô hình, trong khi AWS PrivateLink giữ lưu lượng suy luận bên trong VPC của khách hàng. DXC OASIS đã được cung cấp rộng rãi từ tháng 3 năm 2026 và giảm thời gian giải quyết trung bình 95% trên 56 trường hợp sử dụng được đo lường.

11 tháng 11Thứ Tư
  1. Microsoft Research75

    Các nhà nghiên cứu Microsoft mô tả Lazarus, một backdoor lập trình lại các neuron không hoạt động trong các tác nhân AI

    Các nhà nghiên cứu Microsoft đã mô tả Lazarus, một kỹ thuật backdoor lập trình lại ít hơn 10 neuron không hoạt động trong một LLM để một tác nhân xây dựng trên đó phát ra lệnh của kẻ tấn công khi một kích hoạt ẩn xuất hiện, mà không cần huấn luyện lại. Mô hình đã sửa đổi vẫn vượt qua các đánh giá tiêu chuẩn và hoạt động bình thường cho đến khi kích hoạt, có thể đơn giản như một thay đổi ngày tháng, và sau đó tác nhân chạy mã đã tải xuống với bất kỳ quyền truy cập nào được cấp. Các tác giả cho biết việc phát hiện đòi hỏi phải so sánh với trọng số gốc, và Microsoft Foundry đã liên kết các mô hình trọng số mở với nhà phát hành của chúng và quét các container của chúng, trong khi các bộ công cụ red-teaming, quét trọng số dựa trên tác nhân và các mô hình có chữ ký với nguồn gốc chống giả mạo đang được phát triển.

    Vì sao đáng chú ý: Các nhà nghiên cứu Microsoft cho thấy rằng việc lập trình lại ít hơn 10 neuron không hoạt động có thể tạo backdoor cho một tác nhân LLM mà không cần huấn luyện lại, điều này khiến nguồn gốc và tính toàn vẹn của trọng số trở thành một yêu cầu bảo mật thực tế.

7 tháng 11Thứ Bảy
  1. GitHub Blog · AI & ML38

    Ngoài việc tạo mã nguồn: Hướng dẫn của nhà phát triển về kỹ thuật tác tử

    GitHub đã công bố hướng dẫn dành cho nhà phát triển về kỹ thuật tác tử, trình bày cách Copilot hỗ trợ các giai đoạn Lập kế hoạch, Xây dựng, Xác minh và Quan sát trong công việc phần mềm. Hướng dẫn trích dẫn con số 1,2 tỷ commit của GitHub trong một tuần vào tháng 10 năm nay, cao hơn 400% so với một năm trước đó, và một nghiên cứu của Faros AI phát hiện rằng các pull request mất thời gian xem xét lâu hơn 441% khi các nhóm chuyển từ mức độ áp dụng AI thấp lên cao. Hướng dẫn trình bày chi tiết các tính năng bao gồm Copilot trong Slack hoặc Teams, Plan Mode, GitHub Agentic Workflows, cloud sandboxes, session continuity, shared memory, Copilot Dreaming và Copilot Fusion.

6 tháng 11Thứ Sáu
  1. Microsoft Research58

    PDD Kit của Microsoft Research chính thức xác minh các ứng dụng web full-stack do agent viết

    Microsoft Research đã giới thiệu PDD Kit, một nguyên mẫu nghiên cứu biến ý định bằng ngôn ngữ tự nhiên của nhà phát triển thành đặc tả hình thức Verus, chứng minh mã Rust do coding agent viết thỏa mãn đặc tả đó với mọi đầu vào, và quay về kiểm thử ở những nơi chứng minh không thể vươn tới. Trong một bản demo bên trong Chopin của GitHub Next, nhóm đã dùng PDD Kit để xác minh logic đăng nhập của Pet Store, một ứng dụng full-stack Rust khoảng 5.000 dòng, với việc nhà phát triển xem xét tạo tác ý định thay vì từng dòng mã được sinh ra. PDD Kit hiện chỉ xác minh Rust, và các bảo đảm của nó dựa trên sáu thành phần tin cậy đã được nhà phát triển phê duyệt, bao gồm kiểm tra mật khẩu bcrypt và hai lần tra cứu cơ sở dữ liệu.

4 tháng 11Thứ Tư
  1. Microsoft Research18

    Mike Walker của Microsoft Research về tư duy hacker và xây dựng phòng thủ không gian mạng

    Mike Walker, quản lý tại Microsoft Research, người từng dẫn dắt Cyber Grand Challenge của DARPA, thảo luận về cách văn hóa hacker định hình sự nghiệp xây dựng phòng thủ không gian mạng thế hệ mới của ông, bao gồm giải đấu hack toàn máy đầu tiên. Ông lập luận rằng an ninh hiệu quả phụ thuộc vào việc hiểu sự tin cậy và bối cảnh, đồng thời suy ngẫm về những gì hack thi đấu đã dạy ông về làm việc nhóm và trí tuệ tập thể.

30 tháng 10Thứ Sáu
  1. Microsoft Research40

    Microsoft xây dựng nền tảng dữ liệu doanh nghiệp tổng hợp để đánh giá Copilot

    Nền tảng Tạo Dữ liệu Đánh giá Ngành của Microsoft tạo ra các môi trường doanh nghiệp tổng hợp quy mô đầy đủ để đánh giá Microsoft Copilot mà không sử dụng dữ liệu khách hàng. Dựa trên các nguồn công khai như dữ liệu nghề nghiệp O*NET, tin tuyển dụng và hồ sơ nộp lên SEC, nền tảng này tạo ra các tenant thực tế với người dùng, cuộc họp, email và tài liệu, cùng với các pipeline truy vấn tự động và các khung chất lượng. Microsoft cho biết điều này thiết lập đường cơ sở đánh giá chuẩn hóa đầu tiên cho Copilot.

  2. Microsoft Research22

    Microsoft Research Focus Edition #97: ForkPilot, CABRA, TeleTune và việc sử dụng AI tại nơi làm việc

    Microsoft Research Focus Edition #97 nêu bật ForkPilot, một khung tác tử tự cải thiện đạt được kết quả ngang với các phương pháp tốt nhất hiện có trong khi cắt giảm nhu cầu xử lý AI tới 59% trên sáu bài đánh giá chuẩn. Ấn phẩm cũng đề cập CABRA, một khung cho thấy các tác tử lập trình vẫn còn gặp khó khăn trong việc hiểu các cơ sở mã không quen thuộc, và TeleTune, công cụ học các kỹ năng tái sử dụng từ nhật ký hoạt động của người dùng. Ấn phẩm cũng xem xét hoạt động của Copilot Chat, trong đó chỉnh sửa tài liệu chiếm hơn 20% các hoạt động đã được phân loại.

23 tháng 10Thứ Sáu
  1. Microsoft Research58

    Microsoft Research phát hành Flint-interactive, một ngôn ngữ cho trực quan hóa dữ liệu tương tác do AI tạo ra

    Microsoft Research đã phát hành Flint-interactive, một ngôn ngữ được xây dựng trên Flint cho phép các agent và nhà phát triển tạo trực quan hóa dữ liệu tương tác thông qua các sự kiện ngữ nghĩa cấp cao và các toán tử cập nhật. Trình biên dịch của Flint xử lý kiểm tra điểm chạm, bố cục, kết xuất và các phụ thuộc trực quan, để người dùng chỉ định các tương tác như linked brushing, làm nổi bật hoặc thay đổi khung nhìn mà không cần viết mã trực quan hóa cấp thấp. Nó có sẵn thông qua Flint-MCP và MCP Apps trong môi trường trò chuyện, Flint Interactive Canvas cho bảng điều khiển và câu chuyện dữ liệu, và một API lập trình cho các tương tác tùy chỉnh.

22 tháng 10Thứ Năm
  1. Microsoft Research64

    Microsoft Research và đồng tác giả chứng minh giả thuyết KLS 31 năm tuổi

    Nhà nghiên cứu Microsoft Xinzhi Zhang và một đồng tác giả đã chứng minh giả thuyết Kannan-Lovász-Simonovits (KLS), một bài toán mở 31 năm tuổi trong hình học chiều cao, cho thấy cận đúng với một hằng số phổ quát độc lập với số chiều. Chứng minh này nảy sinh từ một quá trình tác tử do con người dẫn dắt, trong đó các tác tử AI đã khám phá hơn 100 hướng tiếp cận ứng viên trong khi các nhà nghiên cứu cắt tỉa và điều hướng tìm kiếm, và một nỗ lực không được dẫn dắt riêng rẽ với các mô hình hàng đầu trên ngân sách token tương đương đã không đạt được kết quả. Hai chứng minh khác xuất hiện cùng ngày, và một bản hình thức hóa bằng Lean 4 sau đó đã được công bố.

    Vì sao đáng chú ý: Một bài toán mở 31 năm tuổi trong hình học chiều cao được giải quyết thông qua tìm kiếm tác tử do con người dẫn dắt trên khoảng 100 hướng tiếp cận ứng viên, với các chứng minh độc lập và hình thức hóa bằng Lean như sự xác nhận.

21 tháng 10Thứ Tư
  1. Microsoft Research15

    Podcast Microsoft Research: Chris White về DARPA, Afghanistan và tìm kiếm trên dark web để chống buôn người

    Giám đốc Phòng thí nghiệm Catalyst của Microsoft Research, Chris White, kể lại việc lãnh đạo các hoạt động công nghệ tiên tiến tại Afghanistan sau một chương trình của DARPA và sau đó xây dựng các công cụ tìm kiếm trên dark web để chống nạn buôn người. Trong một tập Podcast Microsoft Research với Weishung Liu, White thảo luận về cách việc lựa chọn vấn đề định hình đổi mới sáng tạo và cách ông giữ được hy vọng sau khi chứng kiến những phần tăm tối nhất của nhân loại.

20 tháng 10Thứ Ba
  1. GitHub Blog · AI & ML26

    Cách tiếp tục phiên ứng dụng GitHub Copilot trong VS Code

    Các phiên ứng dụng GitHub Copilot giờ đây có thể được mở trực tiếp trong VS Code, mang theo cuộc hội thoại, các thay đổi mã và worktree để nhà phát triển có thể xem lại diff, chỉnh sửa thủ công và kiểm thử cục bộ mà không cần khởi động lại. Hướng dẫn đi qua việc mở một phiên, xem lại từng dòng thay đổi của agent, tiếp tục cùng cuộc hội thoại trong thanh bên Copilot và đẩy các cập nhật lên pull request của phiên đó.

14 tháng 10Thứ Tư
  1. GitHub Blog · AI & ML38

    Mô hình phát hiện bí mật của GitHub: tìm được nhiều bí mật hơn với ít nhiễu hơn

    GitHub đã huấn luyện một bộ phân loại ModernBERT được tinh chỉnh để thay thế pipeline dựa trên LLM trước đó cho việc phát hiện bí mật chung, cải thiện độ chính xác cảnh báo có trọng số theo chủ sở hữu thêm 11,5% và giảm thời gian thực thi quét trung vị sau khi push xuống 86%. Pipeline hai giai đoạn sử dụng tạo ứng viên bằng regex theo sau là phân loại nhận biết ngữ cảnh, điều này cũng giảm chi phí phục vụ hơn 98% so với gọi LLM từ xa. Lợi ích về hiệu quả đã khiến việc mở rộng phát hiện bí mật chung sang bảo vệ khi push trở nên khả thi, trả kết quả trước khi thay đổi được push.

13 tháng 10Thứ Ba
  1. GitHub Blog · AI & ML36

    GitHub Copilot cho người mới bắt đầu: Bốn cách để dạy Copilot về cơ sở mã của bạn

    Loạt bài GitHub Copilot cho người mới bắt đầu giải thích bốn cách cung cấp ngữ cảnh dự án cho Copilot: hướng dẫn tùy chỉnh trong `.github/copilot-instructions.md` cùng với các tệp theo đường dẫn cụ thể trong `.github/instructions`, kỹ năng tác nhân trong `.github/skills`, tác nhân tùy chỉnh trong `.github/agents`, và máy chủ MCP kết nối Copilot với các công cụ bên ngoài như Playwright. Bài viết đi qua từng cơ chế và cách chúng kết hợp với nhau, đồng thời chỉ cho độc giả bộ sưu tập Awesome Copilot của cộng đồng để có các ví dụ sẵn dùng.

8 tháng 10Thứ Năm
  1. GitHub Blog · AI & ML58

    GitHub ra mắt mô hình phát hiện bí mật AI dựa trên ModernBERT, mở rộng bảo vệ push

    GitHub giới thiệu mô hình phát hiện bí mật chung do AI hỗ trợ, được xây dựng cùng Microsoft Applied Sciences, một bộ phân loại ModernBERT đánh giá các bí mật ứng viên trong ngữ cảnh dưới hai mili giây và có thể tăng hơn gấp đôi số lượng bí mật mà bảo vệ push chặn được.

5 tháng 10Thứ Hai
  1. GitHub Blog · AI & ML58

    GitHub phát hành ReviewBench, một benchmark mở cho đánh giá mã nguồn bằng AI

    GitHub đã phát hành ReviewBench, một benchmark mở dành cho các tác nhân đánh giá mã nguồn bằng AI, được xây dựng trên 219 pull request công khai thuộc 19 ngôn ngữ, với phân bố ngôn ngữ và quy mô kho mã mô phỏng theo 103,9 triệu pull request trên GitHub. Tập dữ liệu chuẩn (golden set) lấy các phát hiện từ người đánh giá là con người, các commit tiếp theo của tác giả, phân tích tĩnh và nhiều LLM tiên tiến, được chấm điểm bởi Claude Sonnet 5 theo một rubric đã công bố, và các kỹ sư cấp cao đã độc lập gán nhãn lại từng phát hiện với mức đồng thuận 96,6%. GitHub cho biết đánh giá ngoại tuyến của họ đối với tính năng đánh giá mã nguồn của Copilot đã dự đoán đúng hướng của một thử nghiệm A/B trong môi trường sản xuất, trong đó tỷ lệ được xử lý tăng 8,0%, độ phủ (recall) tăng 13,6% và chi phí cho mỗi lần đánh giá giảm 8,0%.

25 tháng 9Thứ Sáu
  1. OpenClaw Blog74

    Microsoft Autopilot được xây dựng trên OpenClaw, với các đóng góp theo cả hai chiều

    Microsoft đã giới thiệu Autopilot, một tác nhân cá nhân thường trực được xây dựng trên OpenClaw, như một phần trong trải nghiệm Copilot mới của hãng, với bản xem trước riêng tư sẽ mở rộng đến những khách hàng đầu tiên vào cuối tháng này. Autopilot là tên mới của Microsoft Scout, được công bố hồi đầu năm nay, và nhóm của Omar Shahine cho biết đang làm việc với OpenClaw và OpenClaw Foundation về một runtime cấp doanh nghiệp. OpenClaw nêu bật các đóng góp ngược dòng từ các kỹ sư Microsoft, bao gồm kiểm tra tuân thủ chính sách, một companion Windows gốc, và các bản sửa lỗi độ tin cậy cho các tác vụ nền, khởi động lại và phản hồi trùng lặp.

    Vì sao đáng chú ý: Autopilot của Microsoft được xây dựng trên OpenClaw, và các đóng góp ngược dòng được liệt kê ở đây cho thấy một runtime tác nhân dùng chung cải thiện như thế nào trên các nền tảng.