แท็ก

#คณิตศาสตร์

6 บทความ

OpenAI อ้างโมเดลภายในหักล้าง Exponential Time Hypothesis — นับคำตอบ k-SAT ได้ในเวลา subexponential พร้อม Lean, และอ้างพิสูจน์ local smoothing/Kakeya ทุกมิติกับการมีอยู่ของ Yang–Mills/QCD ด้วย แต่ยังไม่มีใครภายนอกยืนยัน
งานวิจัย

OpenAI อ้างโมเดลภายในหักล้าง Exponential Time Hypothesis — นับคำตอบ k-SAT ได้ในเวลา subexponential พร้อม Lean, และอ้างพิสูจน์ local smoothing/Kakeya ทุกมิติกับการมีอยู่ของ Yang–Mills/QCD ด้วย แต่ยังไม่มีใครภายนอกยืนยัน

เมื่อ 26 ต.ค. 2026 OpenAI ประกาศผลงานใหม่ 3 ชิ้นจากโมเดลภายใน ชิ้นที่ใหญ่ที่สุดคือ preprint "The Exponential Time Hypothesis is False" ซึ่งเสนออัลกอริทึม deterministic ที่นับคำตอบของ k-CNF ได้ในเวลา 2^O(n/√log n) และมี Lean formalization ประกอบ คณะที่นำโดย Impagliazzo, Paturi (ผู้ตั้ง ETH) และ Ryan Williams จะเป็นผู้ตรวจ ส่วนอีกสองชิ้นคือ local smoothing/Kakeya ทุกมิติ และการมีอยู่ของ Yang–Mills/QCD ซึ่งยังไม่ปล่อยเอกสาร ทั้งหมดยังเป็น claim ที่ไม่มีผู้เชี่ยวชาญภายนอกยืนยัน

· อ่าน 6 นาที
OpenAI เปิดรีโป openai/math: ผลงานคณิตศาสตร์ 722 ฉบับจากโมเดลภายในที่ยังไม่เปิดตัว — อ้างพิสูจน์ quasi-Riemann hypothesis และ Unique Games Conjecture พร้อม Lean กว่า 25 ล้านบรรทัด แต่ยังไม่มีนักคณิตศาสตร์ภายนอกตรวจ และ AGMAI ย้ำว่า "ไม่รับรอง"
งานวิจัย

OpenAI เปิดรีโป openai/math: ผลงานคณิตศาสตร์ 722 ฉบับจากโมเดลภายในที่ยังไม่เปิดตัว — อ้างพิสูจน์ quasi-Riemann hypothesis และ Unique Games Conjecture พร้อม Lean กว่า 25 ล้านบรรทัด แต่ยังไม่มีนักคณิตศาสตร์ภายนอกตรวจ และ AGMAI ย้ำว่า "ไม่รับรอง"

6 ต.ค. 2026 OpenAI ปล่อยรีโป openai/math (Apache-2.0) ที่มีต้นฉบับคณิตศาสตร์ 722 ฉบับใน 372 กลุ่มผลลัพธ์ ทั้งหมดสร้างโดยโมเดลภายในที่ยังไม่เปิดตัว ผลเด่นคือ quasi-Riemann hypothesis (ฟังก์ชันซีตาไม่มีศูนย์ใน Re s > 7/8) ซึ่งมีบทพิสูจน์ใน Lean รอให้คนตรวจ แต่ใน catalogue ของรีโปเองยังเขียนสถานะว่า review: unchecked และกลุ่ม AGMAI ออกแถลงการณ์วันเดียวกันว่าการให้คำแนะนำครั้งนี้ไม่ใช่การรับรองผล

· อ่าน 7 นาที
OpenAI บอกว่าโมเดลภายในที่เริ่มเทรน 28 ส.ค. แก้โจทย์คณิตศาสตร์ที่ค้างมานานได้ "มากกว่า 100 ข้อ" — นักคณิตศาสตร์ 9 คนตั้งกลุ่มที่ปรึกษาอิสระเพื่อดูว่าจะทยอยปล่อยผลอย่างไร
งานวิจัย

OpenAI บอกว่าโมเดลภายในที่เริ่มเทรน 28 ส.ค. แก้โจทย์คณิตศาสตร์ที่ค้างมานานได้ "มากกว่า 100 ข้อ" — นักคณิตศาสตร์ 9 คนตั้งกลุ่มที่ปรึกษาอิสระเพื่อดูว่าจะทยอยปล่อยผลอย่างไร

21 ก.ย. 2026 OpenAI เผยว่าโมเดลภายในที่เริ่มเทรนเมื่อ 28 ส.ค. นอกจาก Navier–Stokes แล้วยังแก้โจทย์เปิดที่ค้างมานานได้มากกว่า 100 ข้อในแทบทุกสาขา และประกาศทำงานกับ Advisory Group on Mathematics and AI กลุ่มนักคณิตศาสตร์ 9 คน (Gowers, Hairer, Witten ฯลฯ) ที่ตั้งอย่างอิสระที่ IAS งานแรกคือให้คำแนะนำว่าจะปล่อยผลจำนวนมากนี้อย่างไร แต่กลุ่มจะไม่ให้คำแนะนำเรื่องความเร็วในการพัฒนา และยังไม่มีการเปิดรายชื่อโจทย์

· อ่าน 5 นาที
Clay Institute ออกแถลงว่าโจทย์ Navier–Stokes "ดูเหมือนจะได้ข้อยุติแล้ว" โดยไม่เอ่ยชื่อ OpenAI — ขณะที่ OpenAI ถอนสปอนเซอร์ Caltech Mathathon
งานวิจัย

Clay Institute ออกแถลงว่าโจทย์ Navier–Stokes "ดูเหมือนจะได้ข้อยุติแล้ว" โดยไม่เอ่ยชื่อ OpenAI — ขณะที่ OpenAI ถอนสปอนเซอร์ Caltech Mathathon

11 ก.ย. Clay Mathematics Institute ผู้ดูแลรางวัล Millennium Prize เผยแพร่แถลงสั้น ๆ ว่าโจทย์ Navier–Stokes "ดูเหมือนจะได้ข้อยุติแล้ว" แต่ไม่เอ่ยชื่อ OpenAI และย้ำว่ากระบวนการพิจารณา "ตั้งใจให้ไม่เร่งรีบ" ส่วนกติกากำหนดให้ต้องตีพิมพ์ในแหล่งที่เข้าเกณฑ์และรออย่างน้อยสองปี วันก่อนหน้า EMS เรียกผลนี้ว่าหมุดหมาย แต่ติงว่าโมเดลที่ใช้เป็นโมเดลภายใน และ OpenAI ถอนสปอนเซอร์ Caltech Mathathon หลังนักคณิตศาสตร์ออกจดหมายเปิดผนึก

· อ่าน 4 นาที
ผู้ได้เหรียญ Fields 25 คนลงนามแถลงการณ์ "A Severe Misalignment of AI in Mathematics" — เป้าหมายของบริษัท AI กับวงการคณิตศาสตร์ "ไม่ตรงกันอย่างรุนแรง" แต่ไม่มีข้อเรียกร้องที่จับต้องได้สักข้อ
งานวิจัย

ผู้ได้เหรียญ Fields 25 คนลงนามแถลงการณ์ "A Severe Misalignment of AI in Mathematics" — เป้าหมายของบริษัท AI กับวงการคณิตศาสตร์ "ไม่ตรงกันอย่างรุนแรง" แต่ไม่มีข้อเรียกร้องที่จับต้องได้สักข้อ

11 ก.ย. ผู้ได้เหรียญ Fields 25 คน ตั้งแต่ Pierre Deligne (1978) ถึง Yu Deng (2026) รวมถึง Terence Tao, Peter Scholze และ Maryna Viazovska เผยแพร่แถลงการณ์ที่ mathandai.org ว่าการที่บริษัท AI ใช้การแก้โจทย์คณิตศาสตร์เป็นเบนช์มาร์กกำลังทำร้ายวิชาและชุมชน — ประกาศผลแบบเร่งรีบ ไม่อ้างอิงงานก่อนหน้า และตัดสายการถ่ายทอดความเข้าใจระหว่างมนุษย์ แถลงการณ์ไม่เอ่ยชื่อบริษัทใด และต่างจาก Leiden Declaration ตรงที่ไม่มีข้อเสนอเชิงปฏิบัติ

· อ่าน 6 นาที
นักคณิตศาสตร์ NYU เปิดบันทึกการคุยกับ OpenAI เรื่อง Navier-Stokes — โจทย์รางวัลล้านดอลลาร์ที่กลายเป็นข้อพิพาทเรื่องเครดิต
งานวิจัย

นักคณิตศาสตร์ NYU เปิดบันทึกการคุยกับ OpenAI เรื่อง Navier-Stokes — โจทย์รางวัลล้านดอลลาร์ที่กลายเป็นข้อพิพาทเรื่องเครดิต

8 ก.ย. Tristan Buckmaster ศาสตราจารย์ Courant เผยแพร่แถลงการณ์ 4 หน้าเล่าลำดับเหตุการณ์ที่ OpenAI ติดต่อเขาก่อนประกาศว่าโมเดลภายในพิสูจน์ blowup ของ Navier-Stokes แบบมีแรงกระทำได้ — พร้อมกับที่เขาและ Levent Alpöge ปล่อยผลของตัวเองสามชิ้นที่ผ่านการตรวจด้วย Lean แล้ว OpenAI ปฏิเสธข้อกล่าวหา และ Terence Tao ออกมาเตือนเรื่องการ 'ขุด' โจทย์เปิดจนหมด

· อ่าน 9 นาที