ข่าว 
ข้อมูลเหรียญ 
แนะนำสื่อ 
ระบบภายในของ OpenAI สามารถเสนอคำตอบสำหรับโจทย์แห่งสหัสวรรษนาเวียร์-สโตกส์ (Navier-Stokes) พร้อมเปิดเผยการพิสูจน์เชิงรูปนัยด้วยภาษา Lean ออกมาแล้ว
OpenAI ระบุในประกาศอย่างเป็นทางการว่า เมื่อมีแรงภายนอกที่ราบเรียบกระทำต่อของไหลอัดตัวไม่ได้สามมิติที่เริ่มต้นในสถานะนิ่ง ของไหลดังกล่าวสามารถเกิดภาวะเอกฐาน (singularity) ขึ้นได้ภายในเวลาจำกัด โดยพลังงานตลอดกระบวนการยังคงมีค่าจำกัดอยู่เสมอ OpenAI อธิบายว่าผลลัพธ์นี้เป็นไปตามเงื่อนไขของข้อเสนอ C และ D ตามกรอบโจทย์อย่างเป็นทางการของสถาบันคณิตศาสตร์เคลย์ (Clay Mathematics Institute) โดยOpenAI ได้เผยแพร่งานวิจัยฉบับเต็มพร้อมไฟล์การพิสูจน์เชิงรูปนัยด้วย Lean ควบคู่กัน
OpenAI เปิดเผยว่าใช้โมเดลภายในที่ทรงพลังกว่า GPT-6 Astra อย่างมาก โดยให้เอเจนต์ทำงานคู่ขนานราว 10,000 ตัว ใช้เวลาประมาณ 88 ชั่วโมงในการหาคำตอบ ระหว่างกระบวนการแก้โจทย์นาเวียร์-สโตกส์ เหล่าเอเจนต์แลกเปลี่ยนข้อความกันราว 2.7 ล้านข้อความ และสร้างเอาต์พุตโทเคนรวมประมาณ 1.3 แสนล้านโทเคน ส่วนขั้นตอนการพิสูจน์เชิงรูปนัยด้วย Lean และการตรวจสอบใช้เวลาเพิ่มอีก 17 ชั่วโมง ทั้งนี้ OpenAI ระบุว่าไม่มีความตั้งใจจะยื่นขอรับเงินรางวัลโจทย์แห่งสหัสวรรษจากผลงานครั้งนี้
ความคิดเห็น 0