Microsoft Research Focus Edition #98 นำเสนอความก้าวหน้าของ AI ที่ทำให้การแปลแบบสากลใกล้เป็นจริงมากขึ้น และการพิสูจน์ใหม่ที่ไขข้อสันนิษฐาน KLS ที่มีอายุ 31 ปีในเรขาคณิตมิติสูง ฉบับนี้ยังครอบคลุม CompactionBench และ APEC ซึ่งลดต้นทุนการบีบอัดบริบทของ coding agent ได้ถึง 25.4% และลดเวลาการทำงานลง 9.6% พร้อมด้วย Latent Core Tokenizer ที่ปรับปรุงการ tokenization ใน 104 ภาษา
DXC Technology สร้างฐานโมเดลสำหรับระบบปฏิบัติการไอที DXC OASIS บน Amazon Bedrock โดยเข้าถึง Anthropic Claude, Amazon Nova, Meta Llama และโมเดลแบบเปิดน้ำหนักผ่านอินเทอร์เฟซที่จัดการแบบครบวงจรเดียว Amazon Bedrock Guardrails ใช้การกรองเนื้อหา การปกปิดข้อมูลส่วนบุคคล และนโยบายหัวข้อที่ถูกห้ามอย่างสม่ำเสมอในทุกโมเดล ขณะที่ AWS PrivateLink รักษาการรับส่งข้อมูลการอนุมานให้อยู่ภายใน VPC ของลูกค้า DXC OASIS พร้อมใช้งานทั่วไปตั้งแต่เดือนมีนาคม 2026 และลดเวลาการแก้ไขลงได้โดยเฉลี่ย 95% จาก 56 กรณีการใช้งานที่วัดผล
นักวิจัย Microsoft อธิบาย Lazarus เทคนิคแบ็กดอร์ที่ตั้งโปรแกรมนิวรอนที่อยู่เฉยน้อยกว่า 10 ตัวใน LLM ใหม่ เพื่อให้เอเจนต์ที่สร้างบนโมเดลนั้นส่งคำสั่งของผู้โจมตีออกมาเมื่อทริกเกอร์ที่ซ่อนอยู่ปรากฏ โดยไม่ต้องฝึกใหม่ โมเดลที่ถูกแก้ไขยังผ่านการประเมินมาตรฐานและทำงานปกติจนกว่าทริกเกอร์จะทำงาน ซึ่งอาจง่ายเพียงการเปลี่ยนวันที่ จากนั้นเอเจนต์จะรันโค้ดที่ดาวน์โหลดมาด้วยสิทธิ์การเข้าถึงที่ได้รับ ผู้เขียนระบุว่าการตรวจจับต้องเปรียบเทียบกับน้ำหนักต้นฉบับ และ Microsoft Foundry เชื่อมโยงโมเดล open-weight กับผู้เผยแพร่และสแกนคอนเทนเนอร์ของโมเดลอยู่แล้ว ขณะที่ชุดทดสอบ red-teaming การสแกนน้ำหนักแบบเอเจนต์ และโมเดลที่ลงนามพร้อมแหล่งที่มาที่ตรวจจับการแก้ไขได้อยู่ระหว่างการพัฒนา
ทำไมเรื่องนี้สำคัญ: นักวิจัย Microsoft แสดงให้เห็นว่าการตั้งโปรแกรมนิวรอนที่อยู่เฉยน้อยกว่า 10 ตัวใหม่สามารถฝังแบ็กดอร์ในเอเจนต์ LLM ได้โดยไม่ต้องฝึกใหม่ ซึ่งทำให้แหล่งที่มาและความสมบูรณ์ของน้ำหนักกลายเป็นข้อกำหนดด้านความปลอดภัยในทางปฏิบัติ
GitHub เผยแพร่คู่มือสำหรับนักพัฒนาเกี่ยวกับ agentic engineering โดยอธิบายวิธีที่ Copilot สนับสนุนขั้นตอน Plan, Build, Verify และ Observe ของงานซอฟต์แวร์ คู่มืออ้างถึงสถิติของ GitHub ที่มี 1.2 พันล้านคอมมิตในหนึ่งสัปดาห์เมื่อเดือนตุลาคมที่ผ่านมา ซึ่งมากกว่าปีที่แล้วกว่า 400% และงานศึกษาของ Faros AI ที่พบว่า pull request ใช้เวลารอรีวิวนานขึ้น 441% เมื่อทีมเปลี่ยนจากการใช้ AI ในระดับต่ำไปสู่ระดับสูง คู่มือยังลงรายละเอียดฟีเจอร์ต่างๆ ได้แก่ Copilot ใน Slack หรือ Teams, Plan Mode, GitHub Agentic Workflows, cloud sandboxes, session continuity, shared memory, Copilot Dreaming และ Copilot Fusion
Microsoft Research เปิดตัว PDD Kit ซึ่งเป็นต้นแบบงานวิจัยที่เปลี่ยนเจตนาในภาษาธรรมชาติของนักพัฒนาให้เป็นข้อกำหนดรูปแบบ Verus พิสูจน์ว่าโค้ด Rust ที่เอเจนต์เขียนขึ้นเป็นไปตามข้อกำหนดนั้นสำหรับทุกอินพุต และถอยกลับไปใช้การทดสอบในจุดที่การพิสูจน์ไปไม่ถึง ในการสาธิตภายใน Chopin ของ GitHub Next ทีมงานใช้ PDD Kit ตรวจสอบตรรกะการเข้าสู่ระบบของ Pet Store ซึ่งเป็นแอปฟูลสแตก Rust ขนาดประมาณ 5,000 บรรทัด โดยนักพัฒนาตรวจสอบเอกสารเจตนาแทนการตรวจโค้ดที่สร้างขึ้นทีละบรรทัด ปัจจุบัน PDD Kit ตรวจสอบได้เฉพาะ Rust และการรับประกันของมันขึ้นอยู่กับชิ้นส่วนที่เชื่อถือได้หกชิ้นซึ่งนักพัฒนาให้การรับรอง รวมถึงการตรวจสอบรหัสผ่านด้วย bcrypt และการค้นฐานข้อมูลสองครั้ง
Mike Walker ผู้จัดการของ Microsoft Research ซึ่งเคยนำโครงการ Cyber Grand Challenge ของ DARPA เล่าถึงวิธีที่วัฒนธรรมแฮกเกอร์หล่อหลอมเส้นทางอาชีพของเขาในการสร้างการป้องกันไซเบอร์ยุคใหม่ รวมถึงการแข่งขันแฮกกิ้งแบบเครื่องจักรล้วนครั้งแรก เขาโต้แย้งว่าความปลอดภัยที่มีประสิทธิผลนั้นขึ้นอยู่กับการเข้าใจเรื่องความไว้วางใจและบริบท และสะท้อนถึงสิ่งที่การแข่งขันแฮกกิ้งสอนเขาเกี่ยวกับการทำงานเป็นทีมและสติปัญญาโดยรวม
แพลตฟอร์ม Industry Evaluation Data Generation Platform ของ Microsoft สร้างสภาพแวดล้อมองค์กรสังเคราะห์แบบครบวงจรเพื่อประเมิน Microsoft Copilot โดยไม่ใช้ข้อมูลลูกค้า โดยอ้างอิงจากแหล่งข้อมูลสาธารณะ เช่น ข้อมูลอาชีพ O*NET ประกาศรับสมัครงาน และเอกสารที่ยื่นต่อ SEC ระบบจะสร้าง tenant ที่สมจริงพร้อมผู้ใช้ การประชุม อีเมล และเอกสาร รวมถึงไปป์ไลน์การสอบถามอัตโนมัติและกรอบการประเมินคุณภาพ Microsoft ระบุว่าสิ่งนี้สร้างมาตรฐานพื้นฐานการประเมินแบบมาตรฐานแห่งแรกสำหรับ Copilot
Microsoft Research Focus Edition #97 นำเสนอ ForkPilot ซึ่งเป็นกรอบงานเอเจนต์ที่พัฒนาตนเองได้ โดยทำผลงานได้เทียบเท่าวิธีการที่ดีที่สุดที่มีอยู่ พร้อมลดความต้องการในการประมวลผล AI ลงได้ถึง 59% ในหกเกณฑ์มาตรฐาน ฉบับนี้ยังครอบคลุม CABRA กรอบงานที่แสดงให้เห็นว่าเอเจนต์เขียนโค้ดยังคงเข้าใจฐานโค้ดที่ไม่คุ้นเคยได้ยาก และ TeleTune ซึ่งเรียนรู้ทักษะที่นำกลับมาใช้ซ้ำได้จากบันทึกกิจกรรมของผู้ใช้ นอกจากนี้ยังตรวจสอบกิจกรรมใน Copilot Chat ซึ่งการแก้ไขเอกสารมีสัดส่วนเกิน 20% ของกิจกรรมที่จำแนกได้
Microsoft Research เปิดตัว Flint-interactive ภาษาที่สร้างบน Flint ซึ่งช่วยให้เอเจนต์และนักพัฒนาสร้างภาพข้อมูลแบบโต้ตอบผ่านเหตุการณ์เชิงความหมายระดับสูงและตัวดำเนินการอัปเดต คอมไพเลอร์ของ Flint จัดการการทดสอบการชน เลย์เอาต์ การเรนเดอร์ และการพึ่งพาทางภาพ ผู้ใช้จึงสามารถระบุการโต้ตอบ เช่น linked brushing การไฮไลต์ หรือการเปลี่ยนแปลง viewport โดยไม่ต้องเขียนโค้ดภาพข้อมูลระดับต่ำ ใช้งานได้ผ่าน Flint-MCP และ MCP Apps ในสภาพแวดล้อมแชท, Flint Interactive Canvas สำหรับแดชบอร์ดและเรื่องราวข้อมูล และ API การเขียนโปรแกรมสำหรับการโต้ตอบเฉพาะทาง
นักวิจัย Microsoft Xinzhi Zhang และผู้ร่วมเขียนได้พิสูจน์ข้อสันนิษฐาน Kannan-Lovász-Simonovits (KLS) ซึ่งเป็นปัญหาที่เปิดอยู่มา 31 ปีในเรขาคณิตมิติสูง โดยแสดงให้เห็นว่าขอบเขตดังกล่าวคงอยู่ด้วยค่าคงที่สากลที่ไม่ขึ้นกับมิติ การพิสูจน์นี้เกิดขึ้นจากกระบวนการเอเจนต์ที่มนุษย์กำกับดูแล ซึ่งเอเจนต์ AI สำรวจแนวทางที่เป็นไปได้มากกว่า 100 แนวทาง ขณะที่นักวิจัยตัดทิ้งและเปลี่ยนทิศทางการค้นหา และความพยายามแบบไม่มีคำแนะนำแยกต่างหากด้วยโมเดลชั้นนำภายใต้งบโทเค็นที่เทียบเคียงกันนั้นไม่ประสบผลสำเร็จ มีการพิสูจน์อีกสองชิ้นปรากฏขึ้นในวันเดียวกัน และต่อมาได้มีการเผยแพร่การทำให้เป็นรูปแบบ Lean 4
ทำไมเรื่องนี้สำคัญ: ปัญหาที่เปิดอยู่มา 31 ปีในเรขาคณิตมิติสูงได้รับการแก้ไขผ่านการค้นหาแบบเอเจนต์ที่มนุษย์กำกับดูแลเหนือแนวทางที่เป็นไปได้ราว 100 แนวทาง โดยมีการพิสูจน์อิสระและการทำให้เป็นรูปแบบ Lean เป็นการยืนยัน
Chris White ผู้อำนวยการ Microsoft Research Catalyst Lab เล่าถึงการนำปฏิบัติการเทคโนโลยีขั้นสูงในอัฟกานิสถานหลังโครงการ DARPA และการสร้างเครื่องมือค้นหาบนดาร์กเว็บในเวลาต่อมาเพื่อต่อต้านการค้ามนุษย์ ในตอนหนึ่งของพอดแคสต์ Microsoft Research ที่พูดคุยกับ Weishung Liu White อภิปรายว่าการเลือกปัญหาเป็นตัวกำหนดนวัตกรรมอย่างไร และเขายังคงมีความหวังได้อย่างไรหลังจากได้เห็นด้านที่มืดมิดที่สุดของมนุษยชาติ
ตอนนี้สามารถเปิดเซสชันแอป GitHub Copilot ได้โดยตรงใน VS Code โดยถ่ายโอนบทสนทนา การเปลี่ยนแปลงโค้ด และ worktree มาด้วย เพื่อให้นักพัฒนาสามารถตรวจสอบ diff แก้ไขด้วยตนเอง และทดสอบในเครื่องได้โดยไม่ต้องเริ่มใหม่ บทแนะนำนี้อธิบายขั้นตอนการเปิดเซสชัน การตรวจสอบการเปลี่ยนแปลงของเอเจนต์ทีละบรรทัด การสนทนาต่อในแถบด้านข้าง Copilot และการพุชอัปเดตไปยัง pull request ของเซสชัน