แท็ก

#Navier-Stokes

3 บทความ

นักคณิตศาสตร์ Cambridge ชี้ Lean ของ OpenAI ไม่ได้พิสูจน์สิ่งเดียวกับเปเปอร์ Navier–Stokes — โค้ดที่คอมไพล์ผ่านใช้อนุพันธ์ m+5 ขณะที่เปเปอร์อ้าง m+4 และใช้คนละวิธีพิสูจน์
งานวิจัย

นักคณิตศาสตร์ Cambridge ชี้ Lean ของ OpenAI ไม่ได้พิสูจน์สิ่งเดียวกับเปเปอร์ Navier–Stokes — โค้ดที่คอมไพล์ผ่านใช้อนุพันธ์ m+5 ขณะที่เปเปอร์อ้าง m+4 และใช้คนละวิธีพิสูจน์

เปเปอร์ arXiv ลงวันที่ 6 ต.ค. 2026 ของ Bastounis, Circelli และ Anders Hansen (Cambridge) เทียบเปเปอร์ Navier–Stokes ของ OpenAI กับ Lean ใน repo ที่อ้างว่าเป็นการ formalize แล้วพบว่าหลายจุดพิสูจน์คนละอย่าง เช่น Lemma 8.6 ที่เปเปอร์ใช้อนุพันธ์ m+4 แต่ Lean ใช้ m+5 ผู้เขียนไม่ได้บอกว่าบทพิสูจน์ผิด แต่บอกว่า Lean ที่คอมไพล์ผ่านไม่ได้รับรองบทพิสูจน์ภาษาคนที่ OpenAI เผยแพร่

· อ่าน 6 นาที
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 นาที