‎เว็บตรงแตกง่ายDeepMind แตก ‘ปม’ คาดคะเนว่านักคณิตศาสตร์ที่ติดเตียงมานานหลายทศวรรษ‎

เว็บตรงแตกง่ายDeepMind แตก 'ปม' คาดคะเนว่านักคณิตศาสตร์ที่ติดเตียงมานานหลายทศวรรษ‎

‎ โดย ‎‎ ‎‎ ‎‎สเตฟานี ปัปปาส‎‎ ‎‎ ‎‎ เผยแพร่เมื่อ ‎‎06 ธันวาคม 2021‎เว็บตรงแตกง่ายบริษัทปัญญาประดิษฐ์ DeepMind กําลังเจาะลึกคณิตศาสตร์บริสุทธิ์‎‎ปมและกราฟแสดงถึงปัญหาที่โปรแกรมปัญญาประดิษฐ์ DeepMind จัดการ‎‎ ‎‎(เครดิตภาพ: DeepMind)‎‎โปรแกรม‎‎ปัญญาประดิษฐ์‎‎ (AI) DeepMind ได้ใกล้ชิดกับการพิสูจน์การคาดเดาทางคณิตศาสตร์ที่นักคณิตศาสตร์ที่ลําบากมานานหลายทศวรรษและเปิดเผยการคาดเดาใหม่อีกประการหนึ่งที่อาจคลี่คลายว่านักคณิตศาสตร์เข้าใจปมอย่างไร ‎

‎การคาดเดาทางคณิตศาสตร์ที่บริสุทธิ์ทั้งสองเป็นความก้าวหน้าที่สําคัญครั้งแรกใน‎‎คณิตศาสตร์‎‎บริสุทธิ์ 

(หรือคณิตศาสตร์ที่ไม่ได้เชื่อมโยงโดยตรงกับแอปพลิเคชันที่ไม่ใช่คณิตศาสตร์ใด ๆ ) ที่สร้างขึ้นโดยปัญญาประดิษฐ์นักวิจัยรายงาน 1 ธ.ค. ในวารสาร ‎‎ธรรมชาติ‎‎ (เปิดในแท็บใหม่)‎‎. การคาดเดาเป็นความคิดทางคณิตศาสตร์ที่สงสัยว่าเป็นจริง แต่ยังไม่ได้รับการพิสูจน์ในทุกสถานการณ์ อัลกอริธึมแมชชีนเลิร์นนิงเคยถูกใช้เพื่อสร้างแนวคิดทางทฤษฎีดังกล่าวในวิชาคณิตศาสตร์ แต่จนถึงขณะนี้อัลกอริทึมเหล่านี้ได้จัดการกับปัญหาที่เล็กกว่าที่ DeepMind แตก ‎

‎”สิ่งที่ไม่เคยเกิดขึ้นมาก่อนคือการใช้ [แมชชีนเลิร์นนิง] เพื่อค้นพบสิ่งใหม่ ที่สําคัญในคณิตศาสตร์บริสุทธิ์” Alex Davies ผู้เชี่ยวชาญด้านแมชชีนเลิร์นนิงของ DeepMind และหนึ่งในผู้เขียนเอกสารฉบับใหม่กล่าว ‎‎ที่เกี่ยวข้อง: ‎‎DeepMind กล่าวว่ามันสามารถทํานายรูปร่างของโปรตีนทุกตัวในร่างกายมนุษย์‎

‎คณิตศาสตร์บริสุทธิ์ส่วนใหญ่สังเกตเห็นรูปแบบในตัวเลขแล้วทํางานตัวเลขอย่างระมัดระวังเพื่อพิสูจน์ว่าลางสังหรณ์ที่ใช้งานง่ายเหล่านั้นแสดงถึงความสัมพันธ์ที่แท้จริงหรือไม่ สิ่งนี้อาจค่อนข้างซับซ้อนเมื่อทํางานกับสมการที่ซับซ้อนในหลายมิติ ‎

‎อย่างไรก็ตาม “สิ่งที่แมชชีนเลิร์นนิงทําได้ดีมากคือการมองเห็นรูปแบบ” เดวีส์บอกกับ Live Science ‎

‎ความท้าทายแรกคือการตั้งค่า DeepMind บนเส้นทางที่มีประโยชน์ เดวีส์และเพื่อนร่วมงานของเขาที่ DeepMind ทํางานร่วมกับนักคณิตศาสตร์ Geordie Williamson แห่งมหาวิทยาลัยซิดนีย์ Marc Lackenby แห่งมหาวิทยาลัยออกซ์ฟอร์ดและ András Juhász รวมถึงมหาวิทยาลัยออกซ์ฟอร์ดเพื่อกําหนดปัญหาที่ AI อาจเป็นประโยชน์สําหรับการแก้ปัญหา ‎

‎พวกเขามุ่งเน้นไปที่สองสาขา: ทฤษฎีปมซึ่งเป็นการศึกษาทางคณิตศาสตร์ของนอต

 และทฤษฎีการเป็นตัวแทนซึ่งเป็นเขตข้อมูลที่มุ่งเน้นไปที่โครงสร้างพีชคณิตนามธรรมเช่นวงแหวนและ lattices และเกี่ยวข้องกับโครงสร้างนามธรรมเหล่านั้นกับสมการพีชคณิตเชิงเส้นหรือสมการที่คุ้นเคยกับ Xs, Ys, บวกและ minuses ที่อาจพบได้ในชั้นเรียนคณิตศาสตร์มัธยมปลาย‎

‎ปัญหาปม ‎‎ในการทําความเข้าใจปมนักคณิตศาสตร์พึ่งพาสิ่งที่เรียกว่า invariants ซึ่งเป็นพีชคณิตเรขาคณิตหรือปริมาณตัวเลขที่เหมือนกัน ในกรณีนี้พวกเขามองไปที่ความไม่เปลี่ยนแปลงที่เหมือนกันในนอตที่เทียบเท่า ความเท่าเทียมกันสามารถกําหนดได้หลายวิธี แต่นอตถือได้ว่าเทียบเท่ากันหากคุณสามารถบิดเบือนซึ่งกันและกันได้โดยไม่ทําลายปม การแปรเปลี่ยนทางเรขาคณิตเป็นหลักการวัดรูปร่างโดยรวมของปมในขณะที่การแปรผันทางพีชคณิตอธิบายว่าปมบิดเข้าและรอบ ๆ กันอย่างไร‎

‎”จนถึงตอนนี้ไม่มีการเชื่อมต่อที่พิสูจน์แล้วระหว่างสองสิ่งนี้” เดวีส์กล่าวโดยอ้างถึงเรขาคณิตและพีชคณิต แต่นักคณิตศาสตร์คิดว่าอาจมีความสัมพันธ์บางอย่างระหว่างทั้งสองดังนั้นนักวิจัยจึงตัดสินใจใช้ DeepMind เพื่อค้นหามัน ‎

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

‎ในกรณีที่สอง DeepMind ได้ทําการคาดเดาที่สร้างขึ้นโดยนักคณิตศาสตร์ในช่วงปลายทศวรรษที่ 1970 และช่วยเปิดเผยว่าทําไมการคาดเดานั้นจึงได้ผล ‎‎เป็นเวลา 40 ปีที่นักคณิตศาสตร์คาดคะเนว่ามันเป็นไปได้ที่จะดูกราฟที่ซับซ้อนมากหลายมิติและหาสมการชนิดใดชนิดหนึ่งเพื่อแทนมัน แต่พวกเขายังหาวิธีทําไม่เสร็จ ตอนนี้ DeepMind เข้ามาใกล้มากขึ้นโดยการเชื่อมโยงคุณสมบัติเฉพาะของกราฟกับการคาด

การณ์เกี่ยวกับสมการเหล่านี้ซึ่งเรียกว่าพหุนาม Kazhdan-Lusztig (KL) ซึ่งตั้งชื่อตามนักคณิตศาสตร์ที่เสนอครั้งแรก ‎‎”สิ่งที่เราสามารถทําได้คือฝึกโมเดลแมชชีนเลิร์นนิงบางรุ่นที่สามารถคาดการณ์ได้ว่าพหุนามคืออะไรแม่นยํามากจากกราฟ” เดวีส์กล่าว ทีมงานยังวิเคราะห์ว่าคุณสมบัติของกราฟ DeepMind ใช้เว็บตรงแตกง่าย