ImandraX: การพัฒนาสำคัญในด้าน Neurosymbolic AI Reasoning และการตรวจสอบเชิงตรรกะอัตโนมัติ

Imandra Inc., บริษัท AI ที่ปฏิวัติวิธีการให้เหตุผลเชิงตรรกะอัตโนมัติ ได้ประกาศเปิดตัว ImandraX ซึ่งเป็นการพัฒนาล่าสุดในด้าน neurosymbolic AI reasoning การเปิดตัวที่สำคัญนี้นำเสนอความสามารถที่ทันสมัยในด้าน proof automation, counterexample generation และ decision procedures ซึ่งกำหนดมาตรฐานใหม่สำหรับการวิเคราะห์เชิงตรรกะที่ขับเคลื่อนด้วย AI

เมื่อระบบ AI มีบทบาทสำคัญในการขับเคลื่อนการทำงานที่สำคัญในอุตสาหกรรมต่างๆ เช่น การเงิน การป้องกันประเทศ การดูแลสุขภาพ และระบบอัตโนมัติ ความต้องการการให้เหตุผลที่น่าเชื่อถือ สามารถอธิบายได้ และมีหลักการทางคณิตศาสตร์ที่เข้มงวดมีมากขึ้นกว่าเดิม ImandraX ขยายขอบเขตของ AI โดยการรวมการให้เหตุผลอัตโนมัติที่มีพลังเข้ากับเอเย่นต์ AI ฟレームเวิร์กการตรวจสอบ และโมเดลการตัดสินใจในโลกแห่งความเป็นจริง

Imandra Inc.: ผู้บุกเบิกการให้เหตุผลเชิงตรรกะที่ขับเคลื่อนด้วย AI

Imandra Inc. เป็นบริษัท AI ที่มีสำนักงานใหญ่ทั่วโลกซึ่งเป็นผู้บุกเบิกแพลตฟอร์ม Reasoning-as-a-Service® สำหรับการให้เหตุผลเชิงตรรกะอัตโนมัติในอุตสาหกรรมการเงิน การป้องกันประเทศ และอุตสาหกรรมที่ต้องการความปลอดภัยสูง ผลิตภัณฑ์ AI ที่มีพลังของบริษัท bao gồm Imandra Markets® และ Imandra Connectivity® ซึ่งให้การตรวจสอบเชิงตรรกะแบบเข้มงวด การออกแบบอัตโนมัติ และเครื่องมือการปฏิบัติตามกฎระเบียบสำหรับการใช้งานที่สำคัญที่สุด การสร้างขึ้นจากความก้าวหน้าในด้านการให้เหตุผลอัตโนมัติ Imandra ช่วยให้ธุรกิจต่างๆ มั่นใจในการใช้ข้อมูลเชิงลึกที่ขับเคลื่อนด้วย AI ที่มีหลักการ มีความแม่นยำ และสามารถตรวจสอบได้
Imandra มุ่งมั่นที่จะนำความเข้มงวดและธรรมาภิบาลมาใช้กับอัลกอริทึมที่สำคัญที่สุดของโลก บริษัทได้สร้างระบบการให้เหตุผลอัตโนมัติขนาดคลาวด์ ซึ่งช่วยให้องค์กรต่างๆ สามารถใช้ตรรกะทางคณิตศาสตร์สำหรับการให้เหตุผลของ AI ได้ ด้วยการเน้นการพัฒนาอัลกอริทึม AI ที่น่าเชื่อถือและ สามารถอธิบายได้ เทคโนโลยีของ Imandra ได้รับการยอมรับจากนักวิจัย บริษัท และหน่วยงานรัฐบาลทั่วโลก

การยกเลเวลในด้านการให้เหตุผลของ AI

Denis Ignatovich, Co-founder และ Co-CEO ของ Imandra Inc., กล่าวว่า “ImandraX เป็นขั้นตอนที่เปลี่ยนแปลงการทำให้การให้เหตุผลเชิงสัญลักษณ์ที่มีพลังเป็นส่วนสำคัญของการทำงานของ AI โดยการให้เอเย่นต์ AI มีการให้เหตุผลเชิงตรรกะอัตโนมัติและความสามารถในการตรวจสอบเชิงตรรกะแบบเป็นทางการ เรากำลังขยายขอบเขตของสิ่งที่ระบบอัจฉริยะสามารถทำได้”
Dr. Grant Passmore, Co-founder ของ Imandra Inc., เพิ่มเติมว่า “ImandraX เป็นผลลัพธ์ของการวิจัยและใช้งานจริงเป็นเวลาหลายปีในอุตสาหกรรมที่ต้องการความปลอดภัยสูง รวมถึงการเงิน การป้องกันประเทศ และ AI ลูกค้าและพันธมิตรของเราพึ่งพาการให้เหตุผลอัตโนมัติของ Imandra เพื่อให้แน่ใจถึงความปลอดภัยและความน่าเชื่อถือของระบบที่สำคัญที่สุด ตั้งแต่การแลกเปลี่ยนทางการเงินไปจนถึงเอเย่นต์อัตโนมัติ ด้วย ImandraX เราไม่เพียงแต่ทำให้การให้เหตุผลที่เข้มงวดสามารถเข้าถึงได้เท่านั้น แต่ยังทำให้มันเป็นสิ่งจำเป็นสำหรับการตัดสินใจที่ขับเคลื่อนด้วย AI ในรุ่นต่อไปด้วย”

นวัตกรรมหลักใน ImandraX

ImandraX นำเสนอความสามารถที่ก้าวหน้าหลายอย่าง รวมถึง:

• การผสมผสานการให้เหตุผลแบบอัตโนมัติ – พัฒนาการให้เหตุผลเชิงตรรกะโดยการแนะนำเทคนิคใหม่สำหรับการทำงานแบบเรียกซ้ำที่ผสมผสานระหว่างฟังก์ชันแบบไม่ต่อเนื่องและต่อเนื่องบนข้อมูลประเภทต่างๆ นวัตกรรมนี้ช่วยให้สามารถสร้างแบบจำลองและตรวจสอบมาตรฐาน IEEE P3109 ใหม่สำหรับรูปแบบไบนารี่ 浮動小数点 ที่มีขนาดเล็ก (<16 บิต) ซึ่งเป็นสิ่งจำเป็นสำหรับการ quantization และการ distillation ของเครือข่ายประสาทเทียม
• การตรวจสอบความปลอดภัยของเครือข่ายประสาทเทียม – ให้พลังในการตรวจสอบคุณสมบัติความปลอดภัยของเครือข่ายประสาทเทียมโดยใช้การตรวจสอบแบบ bounded model checking และการอุปนัย ซึ่งทำให้แน่ใจว่าโมเดล AI ทำงานอย่างปลอดภัยและตามที่ตั้งใจ
• การแบ่งพื้นที่สถานะ – ให้ความเร็วมากกว่า 4 เท่าสำหรับการแบ่งพื้นที่ ทำให้เพิ่มประสิทธิภาพสำหรับผู้ใช้ในอุตสาหกรรมการเงินในการทดสอบการเชื่อมต่อ FIX และการทำงานอื่นๆ ที่สำคัญ
• การปรับปรุงประสบการณ์ของนักพัฒนา – ปลั๊กอินใหม่สำหรับ VS Code ช่วยให้สามารถพัฒนาแบบขนานได้ โดยอนุญาตให้ทำงานหลายอย่างพร้อมกันในคลาวด์สำหรับการให้เหตุผลของ Imandra และทำให้กระบวนการตรวจสอบเชิงตรรกะง่ายขึ้น
• การรวม AI ที่ไม่มีขอบเขต – ImandraX รวมเข้ากับ API ของ Imandra ในภาษา Python ใหม่ ทำให้สามารถนำไปใช้กับเฟรมเวิร์กเอเย่นต์ AI ได้อย่างราบรื่น และเปิดโอกาสให้พัฒนา neurosymbolic AI reasoning ใหม่ๆ

การแก้ไขปัญหาที่ยากที่สุดของ AI ในด้านตรรกะ

Denis Ignatovich กล่าวว่า “ImandraX สร้างขึ้นจากประสบการณ์การใช้งานในระดับอุตสาหกรรมที่มีขนาดใหญ่ การให้เหตุผลอัตโนมัติแบบ X รวมถึงอัลกอริทึมการให้เหตุผลใหม่ๆ คุณสมบัติทางสถาปัตยกรรมที่ก้าวหน้า และการรวมกับ AI แบบ agentic รวมถึงไลบรารี Langgraph”

เครือข่ายประสาทเทียมและโมเดลการตัดสินใจที่ขับเคลื่อนด้วย AI ต้องเผชิญกับความท้าทายหลายอย่าง รวมถึงการอธิบายได้ การตรวจสอบ และความปลอดภัย โมเดล AI หลายๆ รุ่น โดยเฉพาะโมเดล การเรียนรู้ลึก ทำงานเหมือน “กล่องดำ” ทำให้ไม่สามารถเข้าใจหรือตรวจสอบกระบวนการตัดสินใจได้ ความไม่โปร่งใส่นี้เป็นความเสี่ยงหลักในอุตสาหกรรมที่มีความเสี่ยงสูง เช่น การเงิน การดูแลสุขภาพ และระบบอัตโนมัติ ซึ่งการตัดสินใจของ AI สามารถมีผลกระทบจริงๆ ได้

สำหรับอุตสาหกรรมที่พึ่งพาเครือข่ายประสาทเทียม การรับรองความแข็งแกร่งและความปลอดภัยเป็นสิ่งสำคัญ Ignatovich อธิบายว่า “เครือข่ายประสาทเทียมถูกใช้ในอุตสาหกรรมที่ต้องการความปลอดภัยสูง จึงจำเป็นต้องแน่ใจว่าพวกมันทำงานตามที่ตั้งใจและทนต่ออินพุตที่มีเสียงรบกวน ความสามารถของ ImandraX ในการให้เหตุผลเกี่ยวกับการคำนวณเชิงตัวเลขและโครงสร้างการตรวจสอบเชิงตรรกะโดยรวมช่วยให้สามารถตรวจสอบคุณสมบัติของเครือข่ายประสาทเทียมได้ ในขณะเดียวกันก็ตรวจสอบความถูกต้องของการให้เหตุผลที่สร้างโดยผู้ให้เหตุผลทางทฤษฎีจากภายนอก”

ทำไมสิ่งนี้จึงมีความสำคัญสำหรับการเงิน การป้องกันประเทศ และระบบอัตโนมัติ

อุตสาหกรรมต่างๆ เช่น การเงิน การป้องกันประเทศ และระบบอัตโนมัติ ทำงานในสภาพแวดล้อมที่ต้องการความแม่นยำ ความน่าเชื่อถือ และการปฏิบัติตามกฎระเบียบเป็นสิ่งสำคัญ มาตรฐานการกำกับดูแลในด้านเหล่านี้มีการเปลี่ยนแปลงอย่างต่อเนื่อง ซึ่งทำให้โซลูชันที่ขับเคลื่อนด้วย AI ต้องปฏิบัติตามข้อกำหนดการกำกับดูแลที่เข้มงวด การไม่ปฏิบัติตามข้อกำหนดเหล่านี้อาจนำไปสู่ผลกระทบทางกฎหมาย การสูญเสียทางการเงิน และอันตรายต่อความปลอดภัย

Ignatovich กล่าวเพิ่มเติมว่า “อุตสาหกรรมเหล่านี้ต้องปฏิบัติตามคุณสมบัติและข้อกำหนดด้านความปลอดภัยที่เข้มงวด แต่ความซับซ้อนของอุตสาหกรรมเหล่านี้ได้เพิ่มขึ้นอย่างมากจนเกินความสามารถของมนุษย์ในการเข้าใจได้ การให้เหตุผลอัตโนมัติและเทคนิคการแบ่งพื้นที่สถานะของ Imandra รวมถึงการรวมกับ LLM ช่วยให้นักพัฒนาและวิศวกรสามารถวิเคราะห์พฤติกรรมของระบบได้อย่างลึกซึ้ง รับรองการปฏิบัติตามกฎระเบียบ และทดสอบระบบที่ขับเคลื่อนด้วย AI อย่างเข้มงวด”
ในตลาดการเงิน อัลกอริทึม AI มีหน้าที่ตัดสินใจซื้อขายในเวลาจริง การตรวจจับการฉ้อโกง และการบริหารความเสี่ยง การไม่สอดคล้องกันเล็กน้อยๆ ก็สามารถมีผลกระทบใหญ่ๆ ได้ ทำให้การตรวจสอบเชิงตรรกะและความสามารถในการให้เหตุผลอัตโนมัติเป็นสิ่งจำเป็นสำหรับการรักษาความสมบูรณ์ของระบบ ในทางกลับกัน ในด้านการป้องกันประเทศ ระบบอัตโนมัติต้องทำงานภายใต้ข้อจำกัดที่เข้มงวดเพื่อให้แน่ใจว่าการตัดสินใจที่ขับเคลื่อนด้วย AI สอดคล้องกับวัตถุประสงค์ของภารกิจและโปรโตคอลความปลอดภัย
ระบบอัตโนมัติ รวมถึงรถยนต์ขับเคลื่อนอัตโนมัติและโดรน ต้องอาศัยโมเดล AI ที่สามารถนำทางสภาพแวดล้อมที่ไม่คาดคิดได้ ในขณะเดียวกันก็รับรองความปลอดภัยของผู้โดยสารและความปฏิบัติตามกฎระเบียบ ImandraX เข้ามาเติมช่องว่างนี้โดยการนำเสนอการตรวจสอบเชิงตรรกะอัตโนมัติ ซึ่งช่วยให้สามารถทดสอบสถานการณ์ได้อย่างครอบคลุม และลดความเสี่ยงที่เกี่ยวข้องกับการไม่คาดคิดของ AI

อนาคตของ Neurosymbolic AI และการตัดสินใจที่ขับเคลื่อนด้วย AI

Ignatovich เน้นย้ำว่า “เรามองว่าแนวทาง neurosymbolic เป็นขั้นตอนสำคัญต่อไปในการพัฒนา AI แบบดั้งเดิม โมเดลทางสถิติ เช่น LLMs ขาดการให้เหตุผลเชิงตรรกะ ImandraX ช่วยเติมช่องว่างนี้โดยการนำเสนอการให้เหตุผลอัตโนมัติที่ไม่เคยเกิดขึ้นมาก่อนสำหรับการวิเคราะห์อัลกอริทึมที่ซับซ้อน ซึ่งเป็นหนึ่งในการประยุกต์ใช้ AI ที่สำคัญที่สุดในปัจจุบัน”