ข้ามไปที่เนื้อหา

บริษัทและโมเดล

Microsoft / Copilot ล่าสุด

ผลิตภัณฑ์ Copilot บริการคลาวด์ Azure AI และความร่วมมือกับ OpenAI ของ Microsoft

3 รายการคัดสรร2 รายการใน 30 วันที่ผ่านมาเก็บไว้ 18 รายการ

อัปเดต 11 พฤศจิกายน 04:52

Microsoft / Copilot

11 พฤศจิกายนวันพุธรายการ 1–3 จากทั้งหมด 3
  1. Microsoft Research75

    Microsoft researchers describe Lazarus, a backdoor that reprograms dormant neurons in AI agents

    Microsoft researchers have described Lazarus, a backdoor technique that reprograms fewer than 10 dormant neurons in an LLM so an agent built on it emits attacker commands when a hidden trigger appears, with no retraining required. The modified model still passes standard evaluations and behaves normally until the trigger, which can be as simple as a date change, and the agent then runs the downloaded code with whatever access it was given. The authors say detection requires diffing against the original weights, and Microsoft Foundry already ties open-weight models to their publishers and scans their containers, while red-teaming harnesses, agent-based weight scanning and signed models with tamper-evident provenance are in development.

    ทำไมเรื่องนี้สำคัญ: Microsoft researchers show that reprogramming fewer than 10 dormant neurons can backdoor an LLM agent without retraining, which makes weight provenance and integrity a practical security requirement.

22 ตุลาคมวันพฤหัสบดี
  1. Microsoft Research64

    Microsoft Research and co-author prove the 31-year-old KLS conjecture

    Microsoft researcher Xinzhi Zhang and a co-author have proved the Kannan-Lovász-Simonovits (KLS) conjecture, a 31-year-old open problem in high-dimensional geometry, showing the bound holds with a universal constant independent of dimension. The proof grew out of a human-directed agentic process in which AI agents explored more than 100 candidate approaches while researchers pruned and redirected the search, and a separate unguided attempt with leading models on a comparable token budget fell short. Two other proofs appeared the same day, and a Lean 4 formalization was subsequently released.

    ทำไมเรื่องนี้สำคัญ: A 31-year-old open problem in high-dimensional geometry is resolved through a human-directed agentic search over roughly 100 candidate approaches, with independent proofs and Lean formalization as confirmation.

25 กันยายนวันศุกร์
  1. OpenClaw Blog74

    Microsoft Autopilot is built on OpenClaw, with contributions flowing both ways

    Microsoft introduced Autopilot, a persistent personal agent built on OpenClaw, as part of its new Copilot experience, with a private preview expanding to first customers at the end of this month. Autopilot is the new name for Microsoft Scout, announced earlier this year, and Omar Shahine's team says it is working with OpenClaw and the OpenClaw Foundation on an enterprise-grade runtime. OpenClaw highlights upstream contributions from Microsoft engineers, including policy conformance checks, a native Windows companion, and reliability fixes for background jobs, restarts and duplicate replies.

    ทำไมเรื่องนี้สำคัญ: Microsoft's Autopilot is built on OpenClaw, and the upstream contributions listed here show how a shared agent runtime improves across platforms.