มูลนิธิ Simons ได้ประกาศโครงการริเริ่มชุดใหม่เพื่อช่วยให้ชุมชนคณิตศาสตร์นำทางการเติบโตอย่างรวดเร็วของปัญญาประดิษฐ์ในสาขานี้ โดยได้รับการสนับสนุนจากเงินทุนและทรัพยากรรวมกัน 15 ล้านดอลลาร์จากมูลนิธิ Anthropic และ OpenAI
มูลนิธิจะจัดการและให้รางวัลเงินทุน รวมถึงผ่านการเปิดรับข้อเสนอ เพื่อสนับสนุนการประชุมเชิงปฏิบัติการและความคิดริเริ่มที่ช่วยให้นักวิจัยประเมินผลลัพธ์ที่ได้รับความช่วยเหลือจาก AI ล่าสุด เรียนรู้และใช้เครื่องมือใหม่ แบ่งปันมุมมอง และกำหนดมาตรฐานโดยรวมสำหรับวิธีใช้ AI ในการวิจัยทางคณิตศาสตร์ For more context on this story, see our ongoing artificial intelligence updates.
เครื่องมือและการคำนวณที่เหนือกว่าคณิตศาสตร์
นอกเหนือจากการระดมทุนแล้ว Anthropic และ OpenAI จะมอบเครื่องมือ AI และทรัพยากรการประมวลผลให้กับนักวิจัยที่ได้รับการสนับสนุนจากมูลนิธิ Simons ตามประกาศของมูลนิธิ การสนับสนุนดังกล่าวครอบคลุมมากกว่าคณิตศาสตร์เพื่อรวมวิทยาศาสตร์พื้นฐานในวงกว้างมากขึ้น ซึ่งเป็นช่องทางตรงที่ผิดปกติระหว่างห้องปฏิบัติการ AI ระดับแนวหน้าและนักวิจัยเชิงวิชาการที่ทำงานอยู่
ข้อตกลงนี้มีความโดดเด่นในเรื่องโครงสร้าง: แทนที่จะให้ห้องปฏิบัติการกำหนดวาระการประชุม มูลนิธิจะควบคุมวิธีการมอบเงิน และสื่อเน้นย้ำว่ารางวัลและทรัพยากรต่างๆ จะถูกขับเคลื่อนโดยชุมชน
ทำไมคณิตศาสตร์ถึงเป็นแนวหน้า
คณิตศาสตร์ได้กลายเป็นหนึ่งในพื้นที่ทดสอบ AI ทางวิทยาศาสตร์ที่มีความสำคัญมากที่สุด มูลนิธิ Simons เป็นผู้สนับสนุนกลุ่มแรกๆ ของการเรียนรู้ของเครื่องสำหรับวิทยาศาสตร์ รวมถึงการให้ทุนสนับสนุนการพัฒนาผู้ช่วยพิสูจน์แบบ Lean ซึ่งได้เปลี่ยนรูปแบบวิธีที่นักคณิตศาสตร์จัดรูปแบบการทำงานอย่างเป็นทางการ และทำให้การพิสูจน์ที่ได้รับความช่วยเหลือจาก AI เป็นไปได้ เนื่องจากระบบ AI มีส่วนช่วยในการค้นพบทางคณิตศาสตร์มากขึ้น ชุมชนจึงประสบปัญหาในทางปฏิบัติ: วิธีตรวจสอบ ประเมิน และเชื่อถือผลลัพธ์ที่ผลิตด้วยความช่วยเหลือจากเครื่องจักรจำนวนมาก
ปัญหาการตรวจสอบดังกล่าวเป็นหัวใจสำคัญของการระดมทุนของโครงการริเริ่มใหม่ การประชุมเชิงปฏิบัติการและความคิดริเริ่มที่มุ่งเป้าไปที่ "การประเมินผลลัพธ์ที่ได้รับความช่วยเหลือจาก AI" รับทราบว่ากระบวนการตรวจสอบโดยผู้ทรงคุณวุฒิแบบดั้งเดิมไม่ได้ออกแบบมาเพื่อการพิสูจน์ที่ร่างด้วย หรือในบางกรณีผลิตโดยระบบ AI อย่างมีนัยสำคัญ
กรอบของมูลนิธิ: ชุมชนต้องมาก่อน
David Spergel ประธานมูลนิธิ Simons มองว่าความพยายามนี้เป็นช่วงเวลาสำหรับการตัดสินใจร่วมกัน “ในขณะที่ปัญญาประดิษฐ์ได้ปรับเปลี่ยนภูมิทัศน์การวิจัยอย่างรวดเร็ว เราจึงต้องการช่วยให้ชุมชนคณิตศาสตร์มารวมตัวกันและสร้างเส้นทางที่ดีที่สุดไปข้างหน้า” Spergel กล่าวในประกาศ "ตอนนี้เป็นเวลาที่จะพิจารณาคณิตศาสตร์โดยรวม ไม่ใช่การรวบรวมข้อพิสูจน์และทฤษฎีบท แต่เป็นความเข้าใจโดยรวมที่ขับเคลื่อนด้วยความอยากรู้อยากเห็นของมนุษย์"
Spergel มีความชัดเจนว่าใครควรเป็นผู้กำหนดเงื่อนไขการรับเลี้ยงบุตรบุญธรรม “ชุมชนควรผลักดันให้เกิดการอภิปรายเกี่ยวกับวิธีการประเมิน นำไปใช้ และใช้เครื่องมือเหล่านี้ ไม่ใช่บริษัทหรือสถาบันใด ๆ” เขากล่าว "เป้าหมายของโครงการนี้คือการสนับสนุนชุมชนคณิตศาสตร์"
คำแถลงดังกล่าวเป็นการจงใจตรงกันข้ามกับการนำ AI มาใช้อย่างไดนามิก: สถาบันแต่ละแห่งกำลังเจรจาข้อตกลงแยกกันกับผู้ให้บริการโมเดล โดยมีบรรทัดฐานที่กำหนดโดยห้องปฏิบัติการหรือมหาวิทยาลัยใดก็ตามที่จะดำเนินการก่อน ด้วยการกำหนดเส้นทางการระดมทุนผ่านการโทรแบบเปิดและเน้นมาตรฐานโดยรวม มูลนิธิกำลังพยายามสร้างจุดประสานงานสำหรับวินัยที่ผลลัพธ์ (การพิสูจน์) สามารถตรวจสอบได้ผิดปกติ และด้วยเหตุนี้จึงเปิดโปงทางลัดที่ได้รับความช่วยเหลือจาก AI อย่างผิดปกติ
แบบจำลองสำหรับสาขาอื่นๆ
ความคิดริเริ่มนี้อาจทำหน้าที่เป็นแม่แบบที่นอกเหนือไปจากคณิตศาสตร์ สาขาวิทยาศาสตร์ขั้นพื้นฐานต้องเผชิญกับคำถามเดียวกัน — วิธีดูดซับเครื่องมือ AI โดยไม่ยกมาตรฐานให้กับผู้จำหน่ายเครื่องมือเหล่านั้น — และโครงสร้างของมูลนิธิ Simons Foundation ซึ่งองค์กรการกุศลที่เป็นกลางจัดการทรัพยากรที่ได้รับบริจาคจากบริษัท AI ที่แข่งขันกัน เป็นหนึ่งในความพยายามครั้งแรกในการหาคำตอบ
ประวัติความเป็นมาของมูลนิธิทำให้มีความน่าเชื่อถือในการทำหน้าที่ดังกล่าว นอกเหนือจากการระดมทุนเบื้องต้นสำหรับผู้ช่วยพิสูจน์อักษรแล้ว ยังจัดให้มีการประชุมเชิงปฏิบัติการ การบรรยาย และความร่วมมือในการสำรวจบทบาทของ AI ในด้านคณิตศาสตร์ ความมุ่งมั่นใหม่มูลค่า 15 ล้านดอลลาร์ทำให้การรวมอำนาจเข้าสู่โครงการที่ได้รับทุนสนับสนุนอย่างเป็นทางการทันทีที่ผลลัพธ์ที่ได้รับความช่วยเหลือจาก AI กำลังมาถึงเร็วกว่าที่บรรทัดฐานของชุมชนจะดูดซับได้
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
