การเปิดตัว OptiMind ภายใต้ใบอนุญาตแบบ MIT (Open Source) หมายความว่าเทคโนโลยีนี้จะถูกนำไปใช้อย่างแพร่หลาย ตั้งแต่สตาร์ทอัพขนาดเล็กไปจนถึงองค์กรข้ามชาติ มันคือก้าวสำคัญของการ “ทำให้คณิตศาสตร์เป็นประชาธิปไตย” (Democratizing Math) ต่อไปนี้บริษัทเล็ก ๆ ที่ไม่มีงบจ้างนักวิจัยดำเนินงาน (OR Researcher) ค่าตัวแพง ๆ ก็สามารถเข้าถึงพลังของการบริหารจัดการที่มีประสิทธิภาพสูงสุดได้ผ่านการสื่อสารด้วยภาษาธรรมดา
โลกในอนาคตอันใกล้กำลังจะถูกขับเคลื่อนด้วยการตัดสินใจที่แม่นยำขึ้น ประหยัดขึ้น และชาญฉลาดขึ้น ไม่ใช่เพราะเรามีมนุษย์ที่เก่งคณิตศาสตร์มากขึ้น แต่เพราะเราได้สร้าง “ล่ามที่แปลคำพูดไปเป็นภาษาทางคณิตศาสตร์” ที่เก่งที่สุดในประวัติศาสตร์ขึ้นมา เพื่อเชื่อมต่อระหว่าง ‘ความปรารถนาของมนุษย์’ และ ‘ความจริงแท้ของตัวเลข’ เข้าด้วยกันอย่างสมบูรณ์แบบ
ภายใต้ความวุ่นวายของห่วงโซ่อุปทานระดับโลก การจัดตารางบินของสายการบินนับพันเที่ยว หรือแม้แต่การจัดสรรพลังงานไฟฟ้าในเมืองใหญ่ มี “กลไกลับ” อย่างหนึ่งที่ทำงานอยู่เบื้องหลังอย่างเงียบเชียบ นักวิทยาศาสตร์เรียกมันว่า การหาค่าที่เหมาะสมที่สุด (Optimization)
มันคือศาสตร์แห่งการตัดสินใจภายใต้ข้อจำกัดอันซับซ้อน เพื่อตอบคำถามที่ว่า “เราจะทำอย่างไรให้เกิดประสิทธิภาพสูงสุด โดยใช้ทรัพยากรน้อยที่สุด?”
อย่างไรก็ตาม เป็นเวลากว่าหลายทศวรรษที่โลกของคณิตศาสตร์ระดับสูงนี้ถูกขวางกั้นด้วย “กำแพงภาษา” ที่หนาทึบ ปัญหาในโลกความเป็นจริงนั้นเต็มไปด้วยความกำกวมและยุ่งเหยิง ขณะที่คอมพิวเตอร์ต้องการสมการที่แม่นยำและสะอาดหมดจด การจะเปลี่ยนคำพูดของนักธุรกิจให้กลายเป็นชุดคำสั่งทางคณิตศาสตร์จึงต้องอาศัยผู้เชี่ยวชาญเฉพาะทางที่ใช้เวลาถอดรหัสกันเป็นวันหรือเป็นสัปดาห์
แต่วันนี้ Microsoft Research ได้เผยโฉมเทคโนโลยีที่อาจทำลายกำแพงนั้นลงอย่างสิ้นเชิง ในชื่อ “OptiMind” (หรือ Optim) ระบบปัญญาประดิษฐ์ที่ไม่ได้ถูกสร้างมาเพื่อคุยเล่นหรือวาดรูป แต่มันถูกฝึกฝนมาเพื่อเป็น “นักแปล” ระหว่างภาษามนุษย์และภาษาแห่งการตัดสินใจที่ทรงพลังที่สุดเท่าที่เคยมีมา
...เมื่อภาษาอังกฤษปะทะคณิตศาสตร์
ลองจินตนาการถึงโรงงานผลิตชิ้นส่วนรถยนต์ที่มีเครื่องจักร 15 ชนิด พนักงาน 3 กะ และข้อกำหนดเรื่องเวลาส่งมอบที่เข้มงวด ผู้จัดการโรงงานอาจอธิบายปัญหาว่า “เราต้องการผลิตชิ้นส่วนให้มากที่สุด แต่ต้องไม่ให้พนักงานทำงานเกินเวลา และเครื่องจักรแต่ละเครื่องต้องมีเวลาพัก”
สำหรับมนุษย์ นี่คือประโยคที่เข้าใจง่าย แต่สำหรับซอฟต์แวร์ประมวลผล (Solver) อย่าง Gurobi ที่บริษัทยักษ์ใหญ่ทั่วโลกใช้ ประโยคนี้ไม่มีความหมายอะไรเลย มันต้องการสิ่งที่เรียกว่า Mixed Integer Linear Programming (MILP) ซึ่งเป็นชุดตัวแปรการตัดสินใจ ฟังก์ชันเป้าหมาย และข้อจำกัดทางคณิตศาสตร์ที่ซับซ้อน
"ช่องว่างตรงนี้เองที่เป็นจุดบอดมาตลอด" บทวิเคราะห์จาก AI Revolution ชี้ให้เห็นว่า ขั้นตอนการแปลความต้องการจากมนุษย์ไปสู่โมเดลคณิตศาสตร์คือ 'คอขวด' ที่แท้จริง
เพราะผู้เชี่ยวชาญที่เก่งพอจะเขียนสมการเหล่านี้มีจำนวนน้อย และความผิดพลาดเพียงเล็กน้อยในสมการอาจนำไปสู่ผลลัพธ์ที่เป็นหายนะในโลกแห่งความเป็นจริง เช่น เส้นทางการเดินรถที่วกวนจนสิ้นเปลืองเชื้อเพลิง หรือตารางการผลิตที่เป็นไปไม่ได้
OptiMind สถาปัตยกรรมแห่งการผสมผสาน
Microsoft ไม่ได้เพียงแค่สร้างโมเดลภาษาทั่วไป แต่พวกเขาออกแบบ OptiMind SFT ให้เป็นโมเดลขนาด 20 พันล้านพารามิเตอร์ (20B) ที่ใช้สถาปัตยกรรมแบบ Mixture of Experts (MoE) ความน่าสนใจของ MoE คือความฉลาดในการเลือกใช้ทรัพยากร แทนที่จะกระตุ้นสมองกลทั้งหมดในทุกครั้งที่ประมวลผล มันจะเลือกใช้เพียงส่วนที่เกี่ยวข้องเท่านั้น
ในกรณีของ OptiMind จะมีพารามิเตอร์ที่ทำงานจริงเพียง 3.6 พันล้านตัวต่อหนึ่งหน่วยคำ (Token) ทำให้มันประมวลผลได้รวดเร็วและประหยัดพลังงาน ขณะที่ยังคงความฉลาดระดับสูงไว้ได้ นอกจากนี้ มันยังมี “ความจำระยะสั้น” (Context Window) ที่ยาวถึง 128,000 โทเค็น ซึ่งมากพอจะอ่านรายละเอียดแผนธุรกิจหนา ๆ ทั้งเล่มเพื่อนำมาสร้างเป็นโมเดลคณิตศาสตร์ได้โดยไม่ตกหล่น
สิ่งที่ทำให้ OptiMind แตกต่างจาก AI ตัวอื่นอย่าง ChatGPT คือ “กระบวนการฝึกฝน” ทีมวิจัยของ Microsoft พบว่าชุดข้อมูลการคำนวณในอินเทอร์เน็ตมักจะเต็มไปด้วย ‘ขยะ’ หรือข้อมูลที่ผิดพลาด พวกเขาจึงตัดสินใจทำความสะอาดข้อมูลใหม่ทั้งหมด
พวกเขาแบ่งปัญหาการหาค่าเหมาะสมที่สุดออกเป็น 53 ประเภท (Classes) เช่น ปัญหาการเดินทางของพนักงานขาย (Traveling Salesman Problem), การจัดตารางเวลาในโรงงาน (Flow Shop Scheduling) ไปจนถึงการจัดการพื้นที่เก็บสินค้า จากนั้นพวกเขาก็เชิญ “ผู้เชี่ยวชาญที่เป็นมนุษย์” มาวิเคราะห์ความผิดพลาดที่ AI มักจะทำ
ตัวอย่างคลาสสิกคือปัญหาการหาเส้นทางเดินรถ หาก AI เขียนสมการไม่รัดกุมพอ มันอาจสร้างเส้นทางที่ “วนลูป” อยู่ในจุดย่อย ๆ โดยไม่ไปถึงจุดหมายหลัก (Sub-tour) ผู้เชี่ยวชาญจึงเขียนคำแนะนำ (Expert Hints) ใส่ลงไปในชุดข้อมูลการสอนว่า “สำหรับการแก้ปัญหานี้ คุณต้องใช้ข้อจำกัดแบบ Miller-Tucker-Zemlin เพื่อป้องกันการวนลูปย่อย”
ผลลัพธ์ที่ได้คือ AI ที่ไม่ได้แค่จำคำศัพท์ แต่เป็น AI ที่เข้าใจ “กลโกง” และ “จุดตาย” ของคณิตศาสตร์ระดับสูง
จากแนวคิดสู่วงจรการตรวจสอบตัวเอง
ความสามารถที่น่าทึ่งที่สุดของ OptiMind คือกระบวนการที่เรียกว่า Multi-turn Correction หรือการแก้ไขปัญหาหลายรอบ
เมื่อเราป้อนโจทย์เข้าไป OptiMind จะเริ่มจากการวิเคราะห์ว่าโจทย์นี้จัดอยู่ในกลุ่มไหน จากนั้นมันจะหยิบเอา “คู่มือลับ” (Expert Cheat Sheet) สำหรับโจทย์ประเภทนั้นขึ้นมาอ่าน แล้วจึงเริ่มเขียนโค้ด Python เพื่อส่งต่อไปยังโปรแกรมคำนวณผล
หากโปรแกรมคำนวณแจ้งว่า “สมการนี้แก้ไม่ได้” หรือ “โค้ดมีข้อผิดพลาด” OptiMind จะไม่ยอมแพ้ มันจะอ่านรายงานความผิดพลาดนั้น แล้วนำกลับมาแก้ไขสมการของตัวเองซ้ำแล้วซ้ำเล่าจนกว่าจะได้คำตอบที่ถูกต้องที่สุด กระบวนการนี้เหมือนกับการมีนักคณิตศาสตร์ระดับปริญญาเอกนั่งทำงานเคียงข้างคุณ คอยตรวจสอบและแก้ไขงานจนกว่าจะสมบูรณ์แบบ
ผลการทดสอบแสดงให้เห็นว่า OptiMind มีความแม่นยำสูงกว่าโมเดลภาษาทั่วไปถึง 20.7% และในหลายกรณีสามารถเทียบชั้นกับโมเดลที่ทรงพลังที่สุดในโลกอย่าง GPT-4o หรือ GPT-5 ในด้านการแก้โจทย์คณิตศาสตร์เฉพาะทาง
อย่างไรก็ตาม Microsoft ยังคงให้คำเตือนที่สำคัญว่า “AI คือผู้ช่วย ไม่ใช่ผู้ตัดสินใจเด็ดขาด” ในงานที่เกี่ยวข้องกับความปลอดภัยสูง เช่น การวางแผนการรักษาทางการแพทย์หรือระบบการเงินที่มีความเสี่ยงสูง มนุษย์ยังคงต้องมีส่วนร่วมในการตรวจสอบ (Human-in-the-loop) เพราะความผิดพลาดเพียงเล็กน้อยในอัลกอริทึมยังคงเป็นไปได้
…..
เรียบเรียงโดย AiNextopia