เจาะประเด็น
AI / Research
AI เริ่มพิชิตโจทย์คณิตศาสตร์ที่มนุษย์ค้างคามาหลายสิบปี แล้วทำไมนักคณิตศาสตร์ยังไม่กล้าดีใจเต็มปาก
ความก้าวหน้าครั้งใหญ่ที่มาพร้อมคำถาม uncomfortable ว่าวงการคณิตศาสตร์กำลังจะเปลี่ยนไปตลอดกาลหรือแค่กำลังถูกป่วน
ทีมข่าว เอไอไทย.com
⏱ อ่าน 5 นาที
ถ้า AI พิสูจน์ทฤษฎีบทที่มนุษย์ค้างคามาหลายสิบปีได้จริง คำถามต่อไปไม่ใช่ "เก่งแค่ไหน" แต่คือ "แล้วนักคณิตศาสตร์เหลือบทบาทอะไร"
ปีที่ผ่านมานี้ วงการคณิตศาสตร์ได้เห็นอะไรที่หลายคนคิดว่าจะไม่เกิดขึ้นในยุคนี้ — OpenAI, Anthropic และแล็บ AI อื่นๆ ประกาศความสำเร็จในการพิชิตโจทย์คณิตศาสตร์ที่ค้างคามานานหลายปัญหา บางปัญหากดค้างอยู่ในตำรามาหลายสิบปีโดยไม่มีใครไขออก และที่หนักกว่านั้นคือ มันไปไกลเกินกว่าที่นักวิจัยเองคาดว่า AI ยุคปัจจุบันจะทำได้ด้วยซ้ำ
ไฮไลต์ที่ทำให้คนในวงการตาค้างคือการแก้ปัญหา Millennium Prize Problem ได้สำเร็จ — โจทย์ 7 ข้อที่ Clay Mathematics Institute ตั้งรางวัลไว้ข้อละ 1 ล้านดอลลาร์ตั้งแต่ปี 2000 และจนถึงตอนนี้มีคนแก้ได้แค่ข้อเดียวตลอด 25 ปีที่ผ่านมา ถ้าเรื่องนี้ยืนได้จริง มันไม่ใช่แค่ข่าวเทคโนโลยี แต่มันคือการเขียนประวัติศาสตร์หน้าคณิตศาสตร์ใหม่ทั้งหน้า
คณิตศาสตร์ไม่เหมือนงานเขียนโค้ดหรือสร้างภาพ — มันเป็นสาขาที่วัดกันด้วยการพิสูจน์ที่ต้องถูกต้อง 100% ไม่มี "ประมาณนี้ก็ใช้ได้" ไม่มี "เดี๋ยวค่อยแก้" การที่ AI กระโดดเข้ามาแก้โจทย์ที่คนทั้งวงการยืนงงมานาน จึงไม่ใช่เรื่องเล็ก และมันกำลังสั่นสะเทือนวิธีที่นักคณิตศาสตร์ทำงานไปแล้ว
แต่ในสไตล์ Silicon Valley สุดคลาสสิก — แล็บ AI เหล่านี้กำลัง "move fast and break things" เหมือนที่เคยทำกับทุกอุตสาหกรรมก่อนหน้านี้ และนั่นแหละคือจุดที่เริ่มมีดราม่า เพราะการประกาศความสำเร็จแบบฉาบฉวยในสาขาที่ต้องแม่นยำระดับพิสูจน์ได้ มันไม่เหมือนกับการเปิดตัวฟีเจอร์แอปใหม่
ประเด็นไม่ได้อยู่ที่ว่า AI เก่งหรือไม่เก่ง แต่อยู่ที่ว่า "เก่งจริงหรือแค่ดูเหมือนเก่ง" ต่างหาก ในวงการคณิตศาสตร์ การบอกว่าพิสูจน์ได้ต้องผ่านการตรวจทานจากผู้เชี่ยวชาญ (peer review) ที่อาจใช้เวลาหลายเดือนถึงหลายปี ไม่ใช่แค่โพสต์ blog แล้วบอกว่าเสร็จแล้ว
ที่ผ่านมาเรามีเคสที่ AI สร้าง "หลักฐาน" ที่ฟังดูสมเหตุสมผลแต่จริงๆ มีช่องโหว่ซ่อนอยู่ หรือที่แย่กว่านั้นคือกุข้อมูลอ้างอิงขึ้นมาเองด้วยซ้ำ ดังนั้นการที่แล็บ AI ประกาศความสำเร็จก่อนที่ชุมชนคณิตศาสตร์จะตรวจสอบเสร็จ มันเลยกลายเป็นความตึงเครียดระหว่าง "วัฒนธรรมสตาร์ทอัพที่ต้องรีบประกาศ" กับ "วัฒนธรรมวิชาการที่ไม่รีบแต่ต้องถูก"
อีกด้านหนึ่ง นักคณิตศาสตร์หลายคนก็เริ่มตั้งคำถามที่ลึกกว่านั้น — ถ้า AI แก้โจทย์ได้ขนาดนี้ แล้วคุณค่าของนักคณิตศาสตร์มนุษย์จะอยู่ตรงไหน? คำตอบที่หลายคนพยายามบอกคือ AI อาจเก่งเรื่อง "หา solution" แต่การตั้งคำถามที่ดี การเห็นว่าปัญหาไหนควรค่าแก่การแก้ และการเชื่อมโยงคณิตศาสตร์เข้ากับบริบทที่กว้างกว่า ยังเป็นเรื่องที่มนุษย์ถนัดกว่า — อย่างน้อยก็ตอนนี้
เรื่องนี้ไม่ใช่แค่เรื่องของนักคณิตศาสตร์ในมหาวิทยาลัย แต่มันคือสัญญาณว่า AI กำลังรุกเข้าไปในสาขาที่เราเคยคิดว่า "ปลอดภัย" จากระบบอัตโนมัติ — สาขาที่ต้องใช้ความคิดสร้างสรรค์ระดับสูง ใช้เหตุผลเชิงนามธรรม และใช้เวลาสะสมความรู้มาทั้งชีวิต ถ้า AI ทำได้จริงในคณิตศาสตร์ สาขาอื่นๆ ที่เคยคิดว่าตัวเองรอดก็ต้องเริ่มมองตัวเองในกระจกใหม่
ความสำเร็จที่ต้องพิสูจน์
การแก้โจทย์ Millennium Prize Problem ถือเป็นเรื่องใหญ่ระดับประวัติศาสตร์ แต่ต้องผ่านการตรวจสอบจากชุมชนคณิตศาสตร์ก่อนจึงจะนับว่าจริง
วัฒนธรรมที่ชนกัน
แล็บ AI ทำงานแบบสตาร์ทอัพ ประกาศเร็ว ปรับเร็ว ส่วนวงการวิชาการต้องแม่นยำและผ่าน peer review ความขัดแย้งนี้จะยิ่งชัดขึ้นเรื่อยๆ
คำถามเรื่องบทบาทมนุษย์
ถ้า AI แก้โจทย์ได้เอง คำถามใหญ่คือนักคณิตศาสตร์ยังมีคุณค่าตรงไหน และสาขาวิชาการอื่นจะโดนผลกระทบแบบเดียวกันเมื่อไหร่
ความก้าวหน้าของ AI ในคณิตศาสตร์ปีนี้ไม่ใช่แค่เรื่องน่าตื่นเต้น แต่มันคือการเตือนว่าวงการวิชาการต้องปรับตัวรับมือกับคลื่นลูกใหม่ที่มาเร็วกว่าที่คิด และการเถียงกันเรื่อง "จริงหรือไม่จริง" จะกลายเป็นบทเรียนสำคัญว่าวิชาการกับ Silicon Valley ต้องหาจุดสมดุลร่วมกันยังไง ก่อนที่ความเชื่อใจในงานวิจัยจะพังไปมากกว่านี้
ที่มา: The Verge — อ่านต้นฉบับ
ความคิดเห็น 3
กำลังโหลดความคิดเห็น...