งานวิจัย
AlphaProof Nexus ของ DeepMind ผ่าน peer review ลง Science — เอเจนต์พิสูจน์ด้วย Lean แก้ปัญหา Erdős ที่เปิดอยู่ได้ 9 จาก 353 ข้อ และแค่ 'Ralph loop' + compiler ก็ทำได้เท่ากัน
งานวิจัย AlphaProof Nexus ของ Google DeepMind ซึ่งเผยแพร่เป็น preprint ตั้งแต่ พ.ค. ได้ลงตีพิมพ์ในวารสาร Science เมื่อ 8 ต.ค. เอเจนต์ที่ให้ Gemini 3.1 Pro เขียนบทพิสูจน์ใน Lean แก้ปัญหา Erdős ที่ยังเปิดอยู่ได้ 9 จาก 353 ข้อ และพิสูจน์ข้อคาดการณ์ OEIS ได้ 44 จาก 492 ข้อ ข้อค้นพบที่สำคัญสำหรับนักพัฒนาคือ เอเจนต์พื้นฐานที่วนสร้างบทพิสูจน์แล้วให้ Lean ตรวจ ก็แก้ปัญหา Erdős ได้ครบทั้ง 9 ข้อเช่นกัน
· อ่าน 5 นาที