OpenAI กล่าวว่าแก้ไข Navier–Stokes ได้แล้ว คำตัดสิน: NEEDS REVIEW.
OpenAI กล่าวว่าแบบจำลองภายใน ซึ่งทำงานโดยใช้เอเจนต์พร้อมกันประมาณ 10,000 ตัว เป็นเวลา 88 ชั่วโมง ได้สร้างหลักฐานที่ได้รับการตรวจสอบโดย Lean ว่าสมการ Navier–Stokes ระเบิดขึ้นในเวลาจำกัด — ซึ่งเป็นปัญหา Millennium Prize ที่เปิดมาตั้งแต่ปี 1934 สิบสองชั่วโมงก่อนหน้านั้น Tristan Buckmaster จาก NYU ได้เผยแพร่แถลงการณ์สี่หน้าเกี่ยวกับเหตุการณ์การสนทนาทางโทรศัพท์กับ OpenAI ในวันอาทิตย์ (“ทำไมคุณถึงทำลายอาชีพของคุณ?”) Terence Tao เขียนว่าปัญหาที่เปิดอยู่กำลังถูกขุดขึ้นมาเหมือนทรัพยากรที่ไม่หมุนเวียน และนักวิจัยการฝึกอบรมล่วงหน้าของ Anthropic ได้ลาออกจากการแข่งขันนี้ นอกจากนี้: Meta จัดส่ง Muse ซึ่งเป็นเอเจนต์ส่วนตัวที่มี VM ของตัวเอง คำตัดสิน: NEEDS REVIEW.
OpenAI กล่าวว่าแบบจำลองภายใน ซึ่งทำงานโดยใช้เอเจนต์พร้อมกันประมาณ 10,000 ตัว เป็นเวลา 88 ชั่วโมง ได้สร้างหลักฐานที่ได้รับการตรวจสอบโดย Lean ว่าสมการ Navier–Stokes ระเบิดขึ้นในเวลาจำกัด — ซึ่งเป็นปัญหา Millennium Prize ที่เปิดมาตั้งแต่ปี 1934 สิบสองชั่วโมงก่อนหน้านั้น Tristan Buckmaster จาก NYU ได้เผยแพร่แถลงการณ์สี่หน้าเกี่ยวกับเหตุการณ์การสนทนาทางโทรศัพท์กับ OpenAI ในวันอาทิตย์ (“ทำไมคุณถึงทำลายอาชีพของคุณ?”) Terence Tao เขียนว่าปัญหาที่เปิดอยู่กำลังถูกขุดขึ้นมาเหมือนทรัพยากรที่ไม่หมุนเวียน และนักวิจัยการฝึกอบรมล่วงหน้าของ Anthropic ได้ลาออกจากการแข่งขันนี้ นอกจากนี้: Meta จัดส่ง Muse ซึ่งเป็นเอเจนต์ส่วนตัวที่มี VM ของตัวเอง คำตัดสิน: NEEDS REVIEW.
อ่านฉบับลายลักษณ์อักษร (ภาษาอังกฤษ) ↗
วิดีโอนี้ครอบคลุมอะไรบ้าง
- OpenAI: Navier–Stokes ระเบิด, เอเจนต์ประมาณ 10,000 ตัว, 88 ชั่วโมง, 130B โทเค็นเอาต์พุต, ตรวจสอบโดย Lean
- Buckmaster และ Alpöge: หนึ่งปีกับวิธีการเดียวกัน, ข่าวลือ, และการโทรศัพท์วันอาทิตย์พร้อมข้อเสนอสองข้อ
- Terence Tao: "แม้แต่ข่าวลือว่ามีคนกำลังทำงานกับปัญหาก็สามารถกระตุ้นความพยายามที่ขับเคลื่อนด้วย AI จำนวนมากเพื่อแก้ไขให้ราบคาบได้"
- Jacob Coxon ลาออกจาก Anthropic: ทั้งสองแล็บ "กำลังเร่งตรงสู่ superintelligence ที่ปรับปรุงตัวเองได้"
- Meta จัดส่ง Muse: เอเจนต์ส่วนตัวบนคลาวด์ VM ของตัวเอง ใน WhatsApp, เฉพาะในสหรัฐอเมริกา
บทถอดเสียงที่แปลแล้ว
แปลจากการบรรยายภาษาอังกฤษต้นฉบับ เสียงและคำบรรยายที่มีให้จะควบคุมโดย YouTube
0:00 เมื่อวานนี้ OpenAI ประกาศว่า AI ของพวกเขาแก้ปัญหา Millennium Prize ได้แล้ว เปิดมาเก้าสิบปี เงินหนึ่งล้านดอลลาร์ ในแปดสิบแปดชั่วโมง และนักคณิตศาสตร์สองคนที่ใช้เวลาหนึ่งปีกับปัญหาเดียวกันได้รู้เรื่องนี้ ในการโทรศัพท์วันอาทิตย์ซึ่งตามที่คนหนึ่งกล่าวไว้ รวมถึง: ทำไมคุณถึงทำลาย อาชีพของคุณ? มันเป็นวันจันทร์ที่ยาวนาน ตอนเช้าตรู่ ศาสตราจารย์ NYU โพสต์ แถลงการณ์สี่หน้า; สิบหกคะแนนบน Hacker News ในตอนบ่าย OpenAI โพสต์หลักฐาน
0:26 ในตอนเย็น Terence Tao กล่าวว่าปัญหาที่เปิดอยู่ กำลังถูกขุดขึ้นมาเหมือนทรัพยากรที่ไม่หมุนเวียน และในชั่วข้ามคืน นักวิจัย Anthropic ได้ลาออกบน X สี่สิบสี่ล้านวิว เพราะทั้งสองแล็บกำลัง " เล่นการพนันกับชีวิตของเรา นอกจากนี้ Meta ได้จัดส่งเอเจนต์ส่วนตัวที่อยู่ใน WhatsApp และมี คอมพิวเตอร์ของตัวเอง ในวิดีโอนี้: หลักฐาน, การโทรศัพท์, เชิงอรรถ และประโยคที่ Terence Tao ต้องการให้แล็บได้ยิน
0:49 วันนี้เป็นวันพุธที่ 9 กันยายน และนี่คือ The Daily Diff คณิตศาสตร์ก่อน Navier–Stokes อธิบายการเคลื่อนที่ของของไหล และตั้งแต่ปี 1934 ไม่มีใครรู้ว่าของไหล 3D ที่เรียบเนียนสามารถชนกับซิงกูลาริตีได้หรือไม่: ความเร็วเพิ่มขึ้นเป็นอนันต์ในเวลาจำกัด ของไหล 3D ที่เรียบเนียนสามารถชนกับซิงกูลาริตีได้หรือไม่: ความเร็วเพิ่มขึ้นเป็นอนันต์ในเวลาจำกัด ระบบของ OpenAI กล่าวว่าได้ เริ่มต้นที่การหยุดนิ่ง, ใช้แรงที่เรียบเนียน, รักษาพลังงานให้จำกัด และกระแสวนจะหมุนเข้าด้านในเหมือนสปาเก็ตตี้จนความเร็วพุ่งสูงขึ้น คำแถลง C และ D ของสูตร Clay ใน Lean
1:16 สิบเจ็ดชั่วโมงของ Astra เพื่อตรวจสอบ ดังนั้นของไหลสามารถระเบิดได้ ซึ่งใครก็ตามที่ทำกาแฟหกใส่ MacBook ก็รู้ดี แต่ตอนนี้อยู่ใน Lean แล้ว วิธีการ: OpenAI มีแบบจำลองภายในใหม่ที่เรียกว่ามีความสามารถสูงกว่า Astra อย่างมาก และในวันที่ 1 กันยายน พวกเขาได้ยินข่าวลือว่ามีปัญหา Millennium สองข้อถูกแก้แล้ว ดังนั้นพวกเขาจึงชี้ไปที่ปัญหาที่เปิดอยู่ทุกข้อ กลุ่ม Navier–Stokes: เอเจนต์พร้อมกันประมาณหมื่นตัว หนึ่งร้อยสามสิบล้านโทเค็นเอาต์พุต; สามร้อยล้านทั่วทุก
1:42 ปัญหา ในราคาลิสต์ของ Astra สิบห้าล้านดอลลาร์ของโทเค็นสำหรับ รางวัลหนึ่งล้านดอลลาร์ที่ OpenAI กล่าวว่าจะไม่เรียกร้อง และในส่วนต่างนั้น ใครจะไปทำ อีกด้านหนึ่ง Tristan Buckmaster ที่ NYU และ Levent Alpöge ซึ่งทำงานที่ Anthropic ใช้เวลาหนึ่งปีในการผลักดันแนวทางของ Córdoba และ Martínez-Zoroa ด้วย Claude และ Codex โดยจ่ายเงินให้ OpenAI จากเงินทุนวิจัยของ Buckmaster เอง ในวันที่ 15 สิงหาคม พวกเขาได้การระเบิดสำหรับสมการ Euler; Buckmaster เรียกหลักฐาน LLM แรกว่าเป็นหลักฐานที่น่ากลัวที่สุดเท่าที่เขาเคยอ่านมา หลักฐาน LLM แรกที่น่ากลัวที่สุดเท่าที่เขาเคยอ่านมา
2:10 และได้รับการยืนยันใน Lean เมื่อวันที่ 22 สิงหาคม จากนั้นข่าวลือก็แพร่กระจาย และวันที่ 3 กันยายน เขาได้อีเมลถึง OpenAI: เราเอง มันเป็นเรื่องส่วนตัว เราจะโพสต์เร็วๆ นี้ ในวันอาทิตย์ เวลา 12:45 น. OpenAI ขอพบกันในวันนี้ และ Sébastien Bubeck เข้าร่วม Buckmaster ได้รับแจ้งว่าโมเดลได้พิสูจน์ Navier–Stokes ที่ถูกบังคับโดยมีการป้อนข้อมูลจากมนุษย์น้อยมาก ซึ่งในการโทรศัพท์กลายเป็นทั้งทีม ปัญหาที่ง่ายกว่าก่อน, คำสั่งที่เขียนโดย Codex, และจำนวนการประมวลผลที่บ้าคลั่ง
2:36 เขาถามว่าส่งคำสั่งแรกเมื่อใด ในที่สุด: ในช่วงไม่กี่วันที่ผ่านมา หลังจากข้อมูลเกี่ยวกับงานของเราได้มาถึง OpenAI ข้อเสนอสองข้อตามมา OpenAI ข้อเสนอสองข้อตามมา หนึ่ง: คุณโพสต์ Euler, เราโพสต์ Navier–Stokes ในวันถัดไป สอง: Buckmaster เพียงคนเดียวเขียนหลักฐานของ OpenAI และ เขากล่าวว่า Bubeck ต้องการให้ Alpöge ออกจากเอกสารสองครั้งเพราะเขาทำงานที่ Anthropic เขาปฏิเสธและกล่าวว่าจะเปิดเผยต่อสาธารณะ คำตอบ ตามแถลงการณ์: ทำไมคุณถึงทำลายอาชีพของคุณ
3:00 จากนั้น: ถ้าคุณไม่ต้องการให้ฉันใจดี ฉันก็ไม่จำเป็นต้องใจดี ปกติแล้วประโยคก่อนหัวม้าจะโผล่ในเตียง เวอร์ชันของ OpenAI: ไม่มีใครเห็นงานของพวกเขา ไม่มีข้อมูลผู้ใช้ถูกเข้าถึง และเชิงอรรถ พวกเขาไม่สามารถปฏิเสธได้ว่าข้อมูลที่ไม่ได้ระบุตัวตนจากการใช้งานผลิตภัณฑ์ของศาสตราจารย์ ช่วยปรับปรุงโมเดล คำวิจารณ์ของ Alpöge: ขอชื่นชมที่พวกเขาออกมาพูดความจริง Sam Altman กล่าวว่าทุกคนทำอย่าง ซื่อสัตย์และเอื้อเฟื้อเผื่อแผ่ และทีมอื่น
3:25 ขู่ว่าจะกล่าวหาว่าลอกเลียนแบบโดยไม่มีมูลความจริง โดยสะกดด้วยตัว i ตัวเดียว ดังนั้นตำแหน่งอย่างเป็นทางการ: เราไม่ได้ลอกการบ้านของคุณ เราได้ยินว่าคุณกำลังทำการบ้าน Terence Tao เรียกผลลัพธ์ของศาสตราจารย์ว่าน่าทึ่ง และตั้งข้อสังเกตว่า Buckmaster อธิบายให้เขาฟังทางโทรศัพท์ ซึ่งเป็นการเปลี่ยนแปลงที่สดชื่นจากรูปแบบการสื่อสารที่ใช้ AI จากนั้น สี่โพสต์: ปัญหาที่เปิดอยู่ที่ดีกำลังถูกขุดขึ้นมา เหมือนทรัพยากรที่ไม่หมุนเวียน แม้แต่ข่าวลือว่ามีคนกำลังทำงานอยู่ก็กระตุ้นความพยายามของ AI ครั้งใหญ่เพื่อแก้ไขให้ราบคาบ ดังนั้นแรงจูงใจคือการหยุดแบ่งปันทิศทางการวิจัย ความพยายามของ AI ครั้งใหญ่เพื่อแก้ไขให้ราบคาบ ดังนั้นแรงจูงใจคือการหยุดแบ่งปันทิศทางการวิจัย
3:55 ซึ่งย้อนกลับศตวรรษแห่งวิทยาศาสตร์เปิด สามกลุ่มโพสต์เรื่องการระเบิดของของไหลในวันหยุดสุดสัปดาห์เดียว; เอกสารฉบับถัดไปอาจเป็น NDA ซึ่งเป็นอารมณ์ที่ Jacob Coxon ลาออก: สามปีของการฝึกอบรมล่วงหน้ากับ OpenAI จากนั้น Anthropic; เขากล่าวว่าทั้งสองบริษัทไม่ได้ทำอย่างรับผิดชอบ ทั้งสองกำลังแข่งกันไปสู่ superintelligence ที่ปรับปรุงตัวเองได้ และจุดจบไม่ควรเริ่มต้นจาก Slack ของบริษัทเอกชน สี่สิบสี่ล้านวิว ในวันที่แล็บหนึ่งส่งเอเจนต์หมื่นตัวไปตามข่าวลือ
4:21 ดังนั้นเธรดจึงมาพร้อมกับการสาธิตสด ขณะเดียวกัน Meta ได้จัดส่ง Muse: เอเจนต์ส่วนตัวบนคลาวด์ VM ของตัวเองพร้อมกับ เบราว์เซอร์ของตัวเอง และคุณพูดคุยกับมันใน WhatsApp เฉพาะในสหรัฐอเมริกา ฟรีสำหรับส่วนใหญ่ Meta สัญญาว่าจะออกเวอร์ชันที่แม้แต่ Meta ก็ไม่สามารถอ่านได้ ในปลายปีนี้ เป็นวิธีการอธิบายปีนี้ที่เฉพาะเจาะจงมาก ความคิดเห็นยอดนิยมใน Hacker News: ฉันไม่อยากแบ่งปันชีวิตของฉันกับ Meta แบบนี้ อันดับสอง: มันพยายามจะขายรถเข็นเด็กให้ฉันตลอด
4:45 หากคุณต้องการอ่านสิ่งนี้แทนที่จะฟังฉันพูด Diff จะส่งไปที่กล่องจดหมายของคุณ ทุกเช้า — ฟรีที่ the daily diff dot dev ลิงก์ด้านล่าง ดังนั้น — คำตัดสินของวันนี้: NEEDS REVIEW หลักฐานรวบรวมได้ เรื่องราวไม่เป็นไปตามนั้น เอเจนต์หมื่นตัวแก้ไขปัญหาที่เปิดมาเก้าสิบปี ในวันหยุดสุดสัปดาห์คือผลลัพธ์ความสามารถแห่งปี; การประกาศด้วยการโทรศัพท์วันอาทิตย์ถึงคนสองคน ในวันหยุดสุดสัปดาห์คือผลลัพธ์ความสามารถแห่งปี; การประกาศด้วยการโทรศัพท์วันอาทิตย์ถึงคนสองคน คนที่คุณได้ยินเรื่องนี้มาไม่ใช่
5:07 และนั่นคือ The Daily Diff สำหรับวันนี้ ฉันชื่อ Niko จาก Axrisi ผสานอย่างรับผิดชอบ
แหล่งที่มา
- OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
- OpenAI Lean formalizationgithub.com
- Tristan Buckmaster, statement (PDF)cims.nyu.edu
- HN: Buckmaster statementnews.ycombinator.com
- HN: OpenAI postnews.ycombinator.com
- Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
- Terence Tao: open problems mined non-renewablymathstodon.xyz
- HN: Tao threadnews.ycombinator.com
- Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
- GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
- Jacob Coxon's resignation threadx.com
- HN: I resigned from Anthropic todaynews.ycombinator.com
- Meta: Introducing Museabout.fb.com
- Museai.meta.com
- HN: Musenews.ycombinator.com
