โอเพนเอไอประกาศเอาชนะปัญหายากได้ใน 88 ชั่วโมง เงินฉลาดคาดการณ์ว่าเอไอจะคว้าชัยได้อีกครั้งภายในปีนี้
ตามการติดตามของ PolyBeats บนตลาดคาดการณ์ Polymarket มีเงินฉลาด 1 รายลงทุน $2.0k ในหัวข้อ "จะมี AI ประกาศแก้ปัญหาชิงรางวัล Millennium Prize ปัญหาอื่นได้ภายในปีนี้หรือไม่?" โดยเลือก "ใช่" ด้วยราคาซื้อเฉลี่ยที่ความน่าจะเป็น 51.2% ปัจจุบันความน่าจะเป็นของ "ใช่" อยู่ที่ 64.5%
Rumpelstiltskin ลงทุน $2.0k หมวดที่เกี่ยวข้องดีที่สุดกับตลาดนี้คือปัญญาประดิษฐ์ โดยหมวดนี้มีกำไรสุทธิ $23.7k ในการซื้อขายที่ชำระแล้ว 182 รายการในหมวดนี้ มีอัตราชนะ 107/182 (59%) โดยมีการซื้อขาย 30 รายการที่ราคาซื้อต่ำกว่า $0.8 และราคาขายสูงกว่า $0.95 ในช่วงราคาต้นทุนใกล้เคียง ($0.451-$0.6) ค่ามัธยฐานของจำนวนเงินที่ลงทุนในอดีตอยู่ที่ $240
ปัญหาชิงรางวัล Millennium Prize ก่อตั้งโดยสถาบันคณิตศาสตร์ Clay ในปี 2000 โดยแต่ละข้อมีเงินรางวัล $1m ตลาดนี้กำหนดให้ห้องปฏิบัติการ AI ที่มีคุณสมบัติเหมาะสมประกาศภายในปีนี้ว่าสามารถแก้สมมติฐาน Riemann, P กับ NP, Yang-Mills existence and mass gap, สมมติฐาน Hodge หรือสมมติฐาน Birch and Swinnerton-Dyer ได้ ผลลัพธ์บางส่วนและความคืบหน้าของการวิจัยไม่นับรวม และสมการ Navier-Stokes ก็ถูกตัดออกอย่างชัดเจนตามกฎ เพียงห้องปฏิบัติการออกประกาศว่าแก้ได้ก็เพียงพอ
กำไรหลักของบัญชีนี้มาจากการเปิดตัว Claude 5 ประมาณ $6.9k, การเปิดตัว Grok 5 ประมาณ $3.9k, วันที่เปิดตัวที่แน่ชัดของ Astra ประมาณ $3.6k และตลาดจัดอันดับโมเดลประมาณ $3.6k; ขาดทุนสูงสุดมาจากโมเดล AI ที่ดีที่สุดของเดือนกุมภาพันธ์ประมาณ $10.1k และการเปิดตัว GPT-5.3 ประมาณ $4.1k ปัจจุบันบัญชีซื้อ "ใช่" สำหรับห้องปฏิบัติการ AI และ OpenAI ที่จะประกาศวิธีแก้ภายในปีนี้ พร้อมกับคาดการณ์ว่า Anthropic จะไม่ประกาศวิธีแก้ภายในหลายกรอบเวลา โดยการตัดสินใจมุ่งเน้นไปที่ OpenAI มากกว่า
นิตยสาร Quanta รายงานเมื่อวันที่ 8 ว่า OpenAI ใช้ตัวแทน AI อัตโนมัติประมาณหนึ่งหมื่นตัวในการศึกษาสมการ Navier-Stokes ตัวแทนทำงาน 88 ชั่วโมงแล้วให้การพิสูจน์จุดเอกฐาน จากนั้นโมเดลอีกชุดใช้เวลา 17 ชั่วโมงในการทำให้ผลลัพธ์เป็นทางการเป็น Lean proof ตัวแทนแลกเปลี่ยนข้อความรวมกันเกือบห้าล้านข้อความ ค่าใช้จ่ายในการคำนวณสูงถึงหลายล้านดอลลาร์ ผลลัพธ์นี้ยังต้องให้นักวิจัยยืนยันว่าข้อเสนอที่เป็นทางการตรงกับปัญหาคณิตศาสตร์ดั้งเดิมทั้งหมด และการระบุเครดิตของผู้มีส่วนร่วมในงานวิจัยที่เกี่ยวข้องก็ยังเป็นที่ถกเถียงกัน
