ศาสตราจารย์ Peter Jonsson จาก Linköping University เตรียมนำเสนอผลงานในงานประชุมชั้นนำด้านทฤษฎีวิทยาการคอมพิวเตอร์ ซึ่งผลงานนี้ถูกสร้างร่วมกับ AI และได้ถูกเผยแพร่บน GitHub ทั้งในรูปแบบภาษาธรรมชาติและรูปแบบที่เครื่องสามารถตรวจสอบได้ (Lean format)
ศาสตราจารย์ Daniel Lokshtanov จาก UC Santa Barbara คาดว่าหากผลลัพธ์นี้ได้รับการยืนยัน อาจทำให้งานวิจัยที่ตีพิมพ์ไปแล้วประมาณ 50 ชิ้นของเขาต้องถูกทบทวนใหม่ทั้งหมด เนื่องจากมันอาจขัดแย้งกับสิ่งที่เคยเชื่อมานาน
Husfeldt กล่าวว่าการที่ AI ประกาศผลลัพธ์ใหม่ทุกสัปดาห์นั้นสามารถ ‘ทำลาย’ โครงการวิจัยที่กำลังดำเนินอยู่ของหลายคนได้ ขณะเดียวกัน OpenAI ก็ได้เผยแพร่เอกสารจำนวนมากบน GitHub ซึ่งนักวิชาการบางส่วนมองว่าเป็นการเร่งรีบเพื่อ IPO มากกว่าการขับเคลื่อนองค์ความรู้จริง
ดังนั้น การทำงานร่วมกันระหว่างมนุษย์และ AI ในวิทยาการคอมพิวเตอร์เชิงทฤษฎียังคงสำคัญอย่างยิ่ง เพื่อให้กระบวนการทางวิทยาศาสตร์เปิดเผยความเข้าใจผิดของเราเกี่ยวกับคอมพิวชัน โดยเฉพาะอย่างยิ่งเมื่อโครงสร้างพื้นฐานดิจิทัลสมัยใหม่จำนวนมากตั้งอยู่บนสมมติฐานเหล่านี้
ศาสตราจารย์ Jonsson วางแผนที่จะทบทวนงานของตนเองและผู้อื่นที่อิงอยู่กับสมมติฐานนี้ และเชื่อว่าบทความในงานประชุมของเขาอาจยังกอบกู้กลับมาได้ด้วยวิธีการอื่น
ศัพท์ที่ควรรู้
- Theoretical computer science – วิทยาการคอมพิวเตอร์เชิงทฤษฎีคือการศึกษาพื้นฐานทางคณิตศาสตร์ของคอมพิวเตอร์
- GitHub – เป็นแพลตฟอร์มที่นักวิจัยใช้ในการเผยแพร่และทำงานร่วมกันบนโค้ดและเอกสาร
- Lean format – คือรูปแบบทางคณิตศาสตร์ที่ทำให้คอมพิวเตอร์สามารถตรวจสอบความถูกต้องของหลักฐานได้
- OpenAI – คือบริษัทที่ได้เผยแพร่เอกสารจำนวนมากเกี่ยวกับปัญหาต่างๆ บน GitHub
ที่มา: Wired