โดย สเตฟานี ปัปปาส เผยแพร่เมื่อ 14 กุมภาพันธ์ 2021
AI ใหม่สามารถสร้างแนวคิดทางคณิตศาสตร์ใหม่เว็บสล็อตที่ต้องการการพิสูจน์ ”นักคณิตศาสตร์” ที่ชาญฉลาดเทียมใหม่ที่รู้จักกันในชื่อเครื่อง Ramanujan สามารถเปิดเผยความสัมพันธ์ที่ซ่อนอยู่ระหว่างตัวเลข
”เครื่อง” ประกอบด้วยอัลกอริทึมที่ค้นหาการคาดเดาหรือข้อสรุปทางคณิตศาสตร์ที่น่าจะเป็นจริง แต่ยังไม่
ได้รับการพิสูจน์ การคาดเดาเป็นจุดเริ่มต้นของทฤษฎีบททางคณิตศาสตร์ซึ่งเป็นข้อสรุป
หากแมวของคุณกัดคุณนี่คือสิ่งที่มันหมายถึงจริงๆโอเชียนดรอว์ชุดของอัลกอริทึมได้รับการตั้งชื่อตามนักคณิตศาสตร์ชาวอินเดีย Srinivasa Ramanujan Ramanujan เกิดในปี 1887 ให้กับเสมียนร้านค้าและแม่บ้าน Ramanujan เป็นอัจฉริยะเด็กที่คิดค้นการคาดเดาทางคณิตศาสตร์หลักฐานและวิธีแก้ปัญหาสมการที่ไม่เคยได้รับการแก้ไขมาก่อน ในปี 1918 สองปีก่อนที่เขาจะเสียชีวิตก่อนวัยอันควรจากโรคนี้เขาได้รับเลือกให้เป็นเพื่อนของราชสมาคมลอนดอนกลายเป็นชายชาวอินเดียคนที่สองที่ได้รับการชักจูงหลังจากวิศวกรทางทะเล Ardaseer Cursetjee ในปี 1841 รามานุจันมีความรู้สึกโดยธรรมชาติสําหรับตัวเลขและสายตาสําหรับรูปแบบที่ eluded คนอื่น ๆ, นักฟิสิกส์ Yaron Hadad, รองประธานของ AI และวิทยาศาสตร์ข้อมูลที่ บริษัท อุปกรณ์การแพทย์ Medtronic และหนึ่งในนักพัฒนาของเครื่องใหม่ Ramanujan. นักคณิตศาสตร์ AI คนใหม่ได้รับการออกแบบมาเพื่อดึงรูปแบบทางคณิตศาสตร์ที่มีแนวโน้มออกจากสมการศักย์ขนาดใหญ่ Hadad บอก Live Science ทําให้ Ramanujan เป็นชื่อที่เหมาะสม
คณิตศาสตร์โดยเครื่อง แมชชีนเลิร์นนิงซึ่งอัลกอริทึมจะตรวจจับรูปแบบในข้อมูลจํานวนมากที่มีทิศทางน้อยที่สุดจากโปรแกรมเมอร์ได้ถูกนําไปใช้ในแอพพลิเคชั่นค้นหารูปแบบที่หลากหลายตั้งแต่การจดจําภาพไปจนถึงการค้นพบยา ฮาดัดและเพื่อนร่วมงานของเขาที่สถาบันเทคโนโลยี Technion-Israel ในไฮฟาต้องการดูว่าพวกเขาสามารถใช้แมชชีนเลิร์นนิงเพื่อสิ่งพื้นฐานมากขึ้นได้หรือไม่
”เราต้องการดูว่าเราสามารถนําแมชชีนเลิร์นนิงไปใช้กับสิ่งที่เป็นพื้นฐานมากดังนั้นเราจึงคิดว่าตัวเลขและทฤษฎีจํานวนเป็นพื้นฐานมาก” Hadad บอกกับ Live Science (ทฤษฎีตัวเลขคือการศึกษาจํานวนเต็มหรือตัวเลขที่สามารถเขียนได้โดยไม่มีเศษส่วน) นักวิจัยบางคนได้ใช้แมชชีนเลิร์นนิงเพื่อเปลี่ยนการคาดเดาเป็นทฤษฎีบทซึ่งเป็นกระบวนการที่เรียกว่าทฤษฎีบทอัตโนมัติที่พิสูจน์ เป้าหมายของเครื่องรามานุจันแทนคือการระบุการคาดเดาที่มีแนวโน้มในตอนแรก ก่อนหน้านี้เป็นโดเมนของนักคณิตศาสตร์มนุษย์ผู้คิดข้อเสนอที่มีชื่อเสียงเช่นทฤษฎีบทสุดท้ายของ Fermat ซึ่งอ้างว่าไม่มีจํานวนเต็มบวกสามตัวที่สามารถแก้สมการ a + bn = cn เมื่อ n มากกว่า 2 (การคาดเดาที่มีชื่อเสียงนั้นถูกเขียนขึ้นที่ขอบของหนังสือโดยนักคณิตศาสตร์ Pierre de Fermat ในปี 1637 แต่ยังไม่ได้รับการพิสูจน์จนถึงปี 1994)
เพื่อกํากับเครื่องรามานุจันนักวิจัยมุ่งเน้นไปที่ค่าคงที่พื้นฐานซึ่งเป็นตัวเลขที่คงที่และเป็นความจริงพื้น
ฐานในสมการ ค่าคงที่ที่มีชื่อเสียงที่สุดอาจเป็นอัตราส่วนของเส้นรอบวงวงกลมต่อเส้นผ่านศูนย์กลางหรือที่รู้จักกันในชื่อไพ โดยไม่คํานึงถึงขนาดของวงกลมอัตราส่วนนั้นมักจะเป็น 3.14159265 … และต่อไปเรื่อยๆ ที่เกี่ยวข้อง: ตัวเลข 9 ตัวที่เจ๋งกว่า piอัลกอริทึมเป็นหลักสแกนจํานวนมากของสมการที่เป็นไปได้ในการค้นหารูปแบบที่อาจบ่งบอกถึงการมีอยู่ของสูตรเพื่อแสดงค่าคงที่ดังกล่าว โปรแกรมแรกสแกนจํานวนจํากัดของตัวเลขอาจจะห้าหรือ 10 แล้วบันทึกการแข่งขันใด ๆ และขยายไปยังเหล่านั้นเพื่อดูว่ารูปแบบซ้ําต่อไป เมื่อรูปแบบที่มีแนวโน้มปรากฏขึ้นการคาดเดาจะพร้อมใช้งานสําหรับความพยายามในการพิสูจน์ มีการคาดเดาที่น่าสนใจมากกว่า 100 ครั้งจนถึงขณะนี้ Hadad กล่าวว่าและได้รับการพิสูจน์แล้ว
หลายสิบครั้ง นักวิจัยรายงานผลของพวกเขา 3 ก.พ. ในวารสาร Nature. พวกเขายังได้ตั้งค่าเว็บไซต์ RamanujanMachine.com เพื่อแบ่งปันการคาดเดาอัลกอริทึมที่สร้างขึ้นและเพื่อรวบรวมหลักฐานที่พยายามจากทุกคนที่ต้องการแทงเพื่อค้นหาทฤษฎีบทใหม่ ผู้ใช้ยังสามารถดาวน์โหลดรหัสเพื่อเรียกใช้การค้นหาการคาดเดาของตนเองหรือปล่อยให้เครื่องใช้พื้นที่การประมวลผลสํารองบนคอมพิวเตอร์ของตนเองเพื่อดูด้วยตัวเอง ส่วนหนึ่งของเป้าหมาย, ฮาดัดกล่าวว่า, คือการได้รับวางคนที่เกี่ยวข้องมากขึ้นในโลกของคณิตศาสตร์.นักวิจัยยังหวังว่าเครื่องรามานุจันจะช่วยเปลี่ยนวิธีการทําคณิตศาสตร์ มันยากที่จะบอกว่าความก้าวหน้าในทฤษฎีจํานวนจะแปลเป็นการใช้งานจริงอย่างไร Hadad กล่าวว่า แต่จนถึงขณะนี้อัลกอริทึมได้ช่วยให้ค้นพบการวัดความไม่ลงตัวที่ดีขึ้นสําหรับค่าคงที่ของคาตาลันซึ่งเป็นตัวเลขที่แสดง
โดย G ที่มีอย่างน้อย 600,000 หลัก แต่อาจหรืออาจไม่ใช่จํานวนอตรรกยะ (จํานวนอตรรกยะไม่สามารถเขียนเป็นเศษส่วนได้ จํานวนตรรกยะสามารถเขียนได้) อัลกอริธึมยังไม่ได้ตอบคําถามว่าค่าคงที่ของคาตาลันเป็นหรือไม่มีเหตุผล แต่มันขยับเข้าใกล้เป้าหมายนั้นมากขึ้นอีกขั้นฮาดัดกล่าว”เรายังคงอยู่ในช่วงเริ่มต้นของโครงการนี้ซึ่งศักยภาพสูงสุดเพิ่งเริ่มคลี่คลาย” เขากล่าวกับ Live Science ในอีเมล “ผมเชื่อว่าการสรุปแนวคิดนี้ไปยังสาขาอื่น ๆ ของคณิตศาสตร์และฟิสิกส์ (หรือแม้แต่สาขาวิทยาศาสตร์อื่น ๆ ) จะช่วยให้นักวิจัยได้รับโอกาสในการวิจัยใหม่จากคอมพิวเตอร์ ดังนั้นนักวิทยาศาสตรมนุษย์จะสามารถเลือกเป้าหมายที่ดีกว่าในการทํางานจากการเลือกที่กว้างขึ้นที่นําเสนอโดยคอมพิวเตอร์และปรับปรุงประสิทธิภาพการผลิตและผลกระทบที่อาจเกิดขึ้นต่อความรู้ของมนุษย์และคนรุ่นต่อไป”เว็บสล็อต
