ข้ามไปที่เนื้อหา
เฉพาะ งานวิจัย#Google
  1. The Decoder88

    AlphaProof Code ของ Google DeepMind ตรวจสอบแกนหลักการเข้ารหัสของ Signal ในสี่สัปดาห์แทนที่จะใช้เวลาหลายปี

    Google DeepMind เปิดตัว AlphaProof Code ระบบ AI ที่พิสูจน์ทางคณิตศาสตร์ว่าซอฟต์แวร์เป็นไปตามข้อกำหนดด้านความปลอดภัย และใช้มันตรวจสอบโค้ดแกนหลักการเข้ารหัสที่ทำงานบนอุปกรณ์ของผู้ใช้ Signal ภายในสี่สัปดาห์ งานที่ปกติใช้เวลาหลายปี หลังจากผู้เชี่ยวชาญกำหนดข้อกำหนดด้านความปลอดภัยอย่างเป็นทางการแล้ว AI agents ที่สร้างบน Gemini Carbon ได้เขียนโค้ดกว่าหกล้านบรรทัดในภาษา Lean และflagged ประมาณหนึ่งเปอร์เซ็นต์ของ codebase เพื่อให้มนุษย์ตรวจสอบ โดยจับบั๊กที่ปลูกไว้โดยเจตนาสองตัวได้ทันที Ehren Kret CTO ของ Signal กล่าวว่าวิธีนี้เสริมสร้างความไว้วางใจในความเป็นส่วนตัวของข้อมูลเมื่อภัยคุกคามจาก AI เพิ่มขึ้น และ DeepMind วางแผนขยายวิธีการไปยังโครงข่ายไฟฟ้าและอุปกรณ์ทางการแพทย์ผ่านระบบอย่าง CodeMender

    ทำไมเรื่องนี้สำคัญ: AlphaProof Code ของ DeepMind ตรวจสอบโค้ดการเข้ารหัสจริงของ Signal ในสี่สัปดาห์ แสดงให้เห็นว่า AI agents สามารถย้ายการตรวจสอบอย่างเป็นทางการจากเอกสารการออกแบบไปสู่ซอฟต์แวร์ที่ใช้งานจริงได้อย่างไร

  1. Google DeepMind82

    Google DeepMind เปิดตัว AlphaProof Code ตรวจสอบโค้ดเข้ารหัสของ Signal อย่างเป็นทางการ

    นักวิจัยของ Google DeepMind ใช้ AlphaProof Code ซึ่งเป็นกรอบการทำงานแบบหลาย LLM agentic เพื่อตรวจสอบคุณสมบัติความปลอดภัยที่สำคัญของโค้ดจริงที่อยู่เบื้องหลังโปรโตคอล Signal อย่างเป็นทางการ เอเจนต์ที่ขับเคลื่อนโดย Gemini Carbon สร้างโค้ด Lean กว่า 6 ล้านบรรทัด และผู้เชี่ยวชาญของมนุษย์ตรวจสอบเพียงประมาณ 1 เปอร์เซ็นต์ของฐานโค้ดเท่านั้น การตรวจสอบใช้เวลาสี่สัปดาห์ ซึ่งงานนี้ตามปกติต้องใช้ทีมผู้เชี่ยวชาญหลายปี เมื่อบั๊กสองตัวที่เคยแก้ไขแล้วถูกนำกลับเข้าสู่โค้ด Signal เวอร์ชันแยก ระบบได้สร้างหลักฐานที่ตรวจสอบโดยเครื่องว่าบั๊กเวอร์ชันที่มีบั๊กนั้นไม่ปลอดภัย และ DeepMind กำลังเปิดโอเพนซอร์สอาร์ติแฟกต์การตรวจสอบอย่างเป็นทางการของตน

    ทำไมเรื่องนี้สำคัญ: กรอบการทำงานแบบหลายเอเจนต์ของ Google DeepMind ตรวจสอบโค้ดเข้ารหัสที่ใช้งานจริงของ Signal อย่างเป็นทางการภายในสี่สัปดาห์ ซึ่งงานนี้ตามปกติต้องใช้ทีมผู้เชี่ยวชาญหลายปี

  1. Google Research72

    นักวิจัย Google ตรวจพบสัญญาณความดันโลหิตสูงด้วยข้อมูล PPG และมาตรวัดความเร่งจากสมาร์ทวอทช์ โดยไม่ต้องปรับเทียบกับเครื่องวัดความดันแบบมีปลอกแขน

    Google Research เผยแพร่งานวิจัยใน Nature เกี่ยวกับ AI-PPG-ACC-HTN ระบบหลายรูปแบบที่ตรวจจับสัญญาณความดันโลหิตสูงจากข้อมูล PPG และมาตรวัดความเร่งของสมาร์ทวอทช์โดยไม่ต้องปรับเทียบกับเครื่องวัดความดันแบบมีปลอกแขน ระบบนี้ผ่านการตรวจสอบเทียบกับการติดตามความดันโลหิตแบบต่อเนื่อง 24 ชั่วโมงในผู้เข้าร่วม 196 คนจากห้าสถานที่ในสหรัฐฯ โดยได้ความไว 65.8% และความจำเพาะ 90.0% สำหรับการคัดกรองเบื้องต้น และได้ความไว 78.4% และความจำเพาะ 90.9% สำหรับการทดสอบยืนยัน ผู้เขียนระบุว่างานนี้เป็นการวิจัยความเป็นไปได้เบื้องต้น ไม่ใช่สิ่งทดแทนเครื่องวัดความดันแบบมีปลอกแขนในทางคลินิก และไม่ใช่การวินิจฉัยแบบStandalone

    ทำไมเรื่องนี้สำคัญ: โมเดลความดันโลหิตสูงแบบไร้ปลอกแขนของ Google ถูกเปรียบเทียบกับการติดตามความดันโลหิตแบบต่อเนื่อง 24 ชั่วโมง แสดงให้เห็นว่าการรวบรวมข้อมูลจากเซ็นเซอร์แบบพาสซีฟหลายวันสามารถสนับสนุนการคัดกรองแบบฉวยโอกาสได้อย่างไร

อ่านครบทั้งหมดแล้ว