ในส่วนของความรู้ใหม่ มีการนำเสนอซีรีส์เกี่ยวกับการปรับปรุงตัวเองแบบเรียกซ้ำ (recursive self-improvement) โดยมีห้องปฏิบัติการจาก Anthropic, EPFL, StarkWare, MIT, RESI, Succinct และ Anthropic Fellows Program ร่วมนำเสนอ
มีการเปิดตัว FlashProve ซึ่งเป็นระบบ zkSNARK แบบ open-source สำหรับการอนุมาน LLM ที่พิสูจน์ได้ด้วยซอฟต์แวร์ โดยมีการตรวจสอบความสมบูรณ์ ความถูกต้อง และการรับประกันแบบ zero-knowledge ใน Lean
อีกหนึ่งความก้าวหน้าคือ PLatour ซึ่งเป็นเฟรมเวิร์ก PACT แบบ open-source สำหรับการถ่ายโอนแบบ Prefill-to-Autoregressive Cross-model โดยเชื่อมต่อโมเดลต้นทางและปลายทางผ่านสะพานสถานะแฝงเชิงเส้นที่เริ่มต้นด้วยศูนย์และฝึกด้วย GRPO
Microsoft Research และ GitHub Next ได้นำเสนอ PDD Kit ซึ่งเป็นต้นแบบ Proof-Driven Development ใน Chopin ที่แปลงเจตนาของนักพัฒนาจากภาษาธรรมดาเป็นข้อกำหนด Verus สำหรับโค้ด Rust พร้อมสร้างการทดสอบเชิงประจักษ์สำหรับ Dependency ภายนอก
การทดสอบกับ Claude Opus 4.5 และ GPT 5.6 Sol บนชุดทดสอบนานาแน่น พบว่าการบีบอัดบริบทและการอ่านไฟล์แบบเลือกสรรช่วยให้บริบทสดใหม่สั้น แต่ยังคงให้ความแม่นยำเทียบเท่าหรือดีกว่าบริบทเต็ม
Alibaba Research ได้นำเสนอ Recursa ซึ่งเป็นระบบ Multi-agent ที่ปรับตัวเข้ากับโดเมนใหม่โดยไม่ต้องใช้ผู้เชี่ยวชาญหรือโมเดลครูที่แข็งแกร่ง โดยเรียนรู้จากคลังคำสั่ง ทักษะ และหน่วยความจำบนแพลตฟอร์ม Python REPL ที่คงอยู่
ตลาด AI ขายทิ้ง
หุ้นกลุ่มเทคโนโลยีและชิปที่เชื่อมโยงกับ AI นำการเทขายอย่างรุนแรงในวันพฤหัสบดี โดย Nasdaq Composite ดิ่งลง 5.5% เข้าสู่ภาวะปรับฐาน ซึ่งเป็นการลดลงรายวันครั้งใหญ่ที่สุดนับตั้งแต่เดือนเมษายน 2025 เนื่องจากนักลงทุนกังวลว่าการขยายศูนย์ข้อมูลอาจชะลอตัวหลังการเลือกตั้งกลางเทอม
การใช้งาน Grok Bot
หลังจากผู้ใช้ Grok Bot รายงานว่าข้อจำกัดการใช้งานรายสัปดาห์เต็มอย่างไม่คาดคิดในช่วงสุดสัปดาห์ฮัลโลวีน Elon Musk ได้ชี้แจงบน X ว่าต้นทุนในการให้บริการ Grok Bot นั้นสูงเกินกว่ารายได้ที่ได้รับอย่างยั่งยืน
ที่มา: The Sequence