OpenAI ປະກາດວ່າໄດ້ແກ້ໄຂ Navier–Stokes ແລ້ວ. ຄຳຕັດສິນ: ຕ້ອງໄດ້ທົບທວນຄືນ.

ສິ່ງທີ່ວິດີໂອນີ້ກວມເອົາ

• OpenAI: Navier–Stokes ລະເບີດ, ຕົວແທນ ~10,000 ຕົວ, 88 ຊົ່ວໂມງ, 130 ຕື້ output tokens, ຢືນຢັນໂດຍ Lean
• Buckmaster ແລະ Alpöge: ຫນຶ່ງປີໃນວິທີການດຽວກັນ, ຂ່າວລື, ແລະການໂທວັນອາທິດພ້ອມສອງຂໍ້ສະເໜີ
• Terence Tao: "ແມ່ນແຕ່ຂ່າວລືກ່ຽວກັບຜູ້ໃດຜູ້ຫນຶ່ງກໍາລັງເຮັດວຽກກ່ຽວກັບບັນຫາສາມາດກະຕຸ້ນຄວາມພະຍາຍາມ AI ຢ່າງມະຫາສານເພື່ອແກ້ໄຂມັນ"
• Jacob Coxon ລາອອກຈາກ Anthropic: ທັງສອງຫ້ອງທົດລອງ "ກໍາລັງແຂ່ງຂັນກົງໄປສູ່ superintelligence ທີ່ປັບປຸງຕົນເອງ"
• Meta ໄດ້ເປີດຕົວ Muse: ຕົວແທນສ່ວນຕົວໃນ cloud VM ຂອງຕົນເອງ, ໃນ WhatsApp, ສະເພາະສະຫະລັດເທົ່ານັ້ນ

ບົດບັນທຶກທີ່ແປແລ້ວ

ແປຈາກຄຳບັນຍາຍຕົ້ນສະບັບພາສາອັງກິດ. ສຽງ ແລະ ຄຳບັນຍາຍທີ່ມີໃຫ້ແມ່ນຄວບຄຸມໂດຍ YouTube.

0:00 ເມື່ອວານນີ້, OpenAI ໄດ້ປະກາດວ່າ AI ຂອງພວກເຂົາໄດ້ແກ້ໄຂບັນຫາລາງວັນ Millennium, ເປີດມາເກົ້າສິບປີ, ລາງວັນໜຶ່ງລ້ານໂດລາ, ໃນແປດສິບແປດຊົ່ວໂມງ, ແລະນັກຄະນິດສາດສອງຄົນທີ່ໃຊ້ເວລາໜຶ່ງປີກັບບັນຫາອັນດຽວກັນໄດ້ຮູ້ເລື່ອງນີ້ ໃນການໂທລະສັບວັນອາທິດທີ່, ອີງຕາມຄົນໜຶ່ງໃນພວກເຂົາ, ລວມມີ: ເປັນຫຍັງເຈົ້າຈຶ່ງທຳລາຍ ອາຊີບຂອງເຈົ້າ? ມັນເປັນວັນຈັນທີ່ຍາວນານ. ເມື່ອເດີກສາສະດາຈານ NYU ໄດ້ໂພສ ຄຳຖະແຫຼງສີ່ໜ້າ; ສິບຫົກຮ້ອຍຄະແນນໃນ Hacker News. ໃນຕອນບ່າຍ OpenAI ໄດ້ໂພສຫຼັກຖານ.

0:26 ໃນຕອນແລງ Terence Tao ກ່າວວ່າບັນຫາທີ່ຍັງບໍ່ທັນ ຖືກແກ້ໄຂຕອນນີ້ຖືກຂຸດຄົ້ນຄືກັບຊັບພະຍາກອນທີ່ບໍ່ສາມາດທົດແທນໄດ້, ແລະໃນຄືນໜຶ່ງນັກຄົ້ນຄວ້າ Anthropic ໄດ້ລາອອກໃນ X, ສີ່ສິບສີ່ລ້ານຄັ້ງທີ່ເບິ່ງ, ເພາະວ່າທັງສອງຫ້ອງທົດລອງແມ່ນ, ອ້າງອີງ, ຫຼິ້ນການພະນັນກັບຊີວິດຂອງພວກເຮົາ. ນອກຈາກນີ້, Meta ໄດ້ເປີດຕົວຕົວແທນສ່ວນຕົວທີ່ຢູ່ໃນ WhatsApp ແລະມີ ຄອມພິວເຕີຂອງຕົນເອງ. ໃນວິດີໂອນີ້: ຫຼັກຖານ, ການໂທລະສັບ, ຂໍ້ຄວາມເພີ່ມເຕີມ, ແລະປະໂຫຍກທີ່ Terence Tao ຕ້ອງການໃຫ້ຫ້ອງທົດລອງໄດ້ຍິນ.

0:49 ມັນແມ່ນວັນພຸດ, ວັນທີ 9 ກັນຍາ, ແລະນີ້ແມ່ນ The Daily Diff. ເລີ່ມຕົ້ນດ້ວຍຄະນິດສາດກ່ອນ. Navier–Stokes ອະທິບາຍວ່າຂອງແຫຼວເຄື່ອນທີ່ແນວໃດ, ແລະຕັ້ງແຕ່ປີ 1934 ບໍ່ມີໃຜຮູ້ວ່າ ຂອງແຫຼວ 3D ທີ່ລຽບງ່າຍສາມາດຕຳກັບ singularity ໄດ້ບໍ: ຄວາມໄວເພີ່ມຂຶ້ນບໍ່ມີທີ່ສິ້ນສຸດໃນເວລາຈຳກັດ. ລະບົບຂອງ OpenAI ບອກວ່າໄດ້. ເລີ່ມຕົ້ນຢູ່ສະງຽບ, ໃຊ້ແຮງທີ່ລຽບງ່າຍ, ຮັກສາພະລັງງານໃຫ້ຈຳກັດ, ແລະກະແສນ້ຳວົນຈະໝູນເຂົ້າໄປຂ້າງໃນຄືກັບເສັ້ນໝີ່ຈົນກວ່າຄວາມໄວຈະລະເບີດຂຶ້ນ. ຄຳຖະແຫຼງ C ແລະ D ຂອງການສ້າງແບບ Clay, ໃນ Lean,

1:16 ສິບເຈັດຊົ່ວໂມງຂອງ Astra ເພື່ອຢືນຢັນ. ດັ່ງນັ້ນຂອງແຫຼວສາມາດລະເບີດໄດ້, ເຊິ່ງໃຜກໍຕາມທີ່ເຄີຍຖອກກາເຟໃສ່ MacBook ກໍຮູ້, ແຕ່ຕອນນີ້ມັນຢູ່ໃນ Lean. ແນວໃດ: OpenAI ມີຮູບແບບພາຍໃນໃໝ່ທີ່ມັນເອີ້ນວ່າສາມາດເຮັດໄດ້ຫຼາຍກວ່າ Astra ຢ່າງຫຼວງຫຼາຍ, ແລະໃນວັນທີ 1 ກັນຍາ ພວກເຂົາໄດ້ຍິນຂ່າວລືວ່າບັນຫາ Millennium ສອງບັນຫາໄດ້ ຖືກແກ້ໄຂແລ້ວ, ດັ່ງນັ້ນພວກເຂົາຈຶ່ງຊີ້ມັນໄປຫາທຸກບັນຫາທີ່ຍັງບໍ່ໄດ້ແກ້ໄຂ. ກຸ່ມ Navier–Stokes: ຕົວແທນພ້ອມກັນປະມານສິບພັນຕົວ, ໜຶ່ງຮ້ອຍສາມສິບຕື້ output tokens; ສາມຮ້ອຍຕື້ໃນທຸກໆ

1:42 ບັນຫາ. ຕາມລາຄາລາຍການຂອງ Astra, ສິບຫ້າລ້ານໂດລາຂອງ tokens ສໍາລັບ ລາງວັນໜຶ່ງລ້ານໂດລາທີ່ OpenAI ບອກວ່າຈະບໍ່ຮຽກຮ້ອງ, ແລະດ້ວຍຂອບນັ້ນ, ໃຜຈະເຮັດ. ອີກຝ່າຍໜຶ່ງ. Tristan Buckmaster ທີ່ NYU ແລະ Levent Alpöge, ຜູ້ທີ່ເຮັດວຽກຢູ່ Anthropic, ໄດ້ໃຊ້ເວລາໜຶ່ງປີເພື່ອພັດທະນາວິທີການໂດຍ Córdoba ແລະ Martínez-Zoroa ກັບ Claude ແລະ Codex, ໂດຍຈ່າຍເງິນໃຫ້ OpenAI ຈາກເງິນທຶນຄົ້ນຄວ້າຂອງ Buckmaster ເອງ. ໃນວັນທີ 15 ສິງຫາ ພວກເຂົາໄດ້ຮັບ blow-up ສໍາລັບສົມຜົນ Euler; Buckmaster ເອີ້ນຫຼັກຖານ LLM ຄັ້ງທໍາອິດວ່າເປັນສິ່ງທີ່ໜ້າຢ້ານທີ່ສຸດທີ່ລາວເຄີຍອ່ານ,

2:10 ແລະມັນຖືກຢືນຢັນໃນ Lean ໃນວັນທີ 22 ສິງຫາ. ຈາກນັ້ນຂ່າວລືໄດ້ແຜ່ລາມ, ແລະວັນທີ 3 ກັນຍາ ລາວໄດ້ສົ່ງອີເມວຫາ OpenAI: ມັນແມ່ນພວກເຮົາ, ມັນເປັນເລື່ອງສ່ວນຕົວ, ພວກເຮົາຈະໂພສໃນໄວໆນີ້. ໃນວັນອາທິດເວລາ 12:45 OpenAI ໄດ້ຂໍພົບກັນໃນມື້ນັ້ນ, ແລະ Sébastien Bubeck ໄດ້ເຂົ້າຮ່ວມ. Buckmaster ຖືກບອກວ່າຮູບແບບດັ່ງກ່າວໄດ້ພິສູດ Navier–Stokes ທີ່ຖືກບັງຄັບດ້ວຍ ການປ້ອນຂໍ້ມູນຂອງມະນຸດໜ້ອຍຫຼາຍ, ເຊິ່ງໃນລະຫວ່າງການໂທໄດ້ກາຍເປັນທີມທັງໝົດ, ບັນຫາທີ່ງ່າຍກວ່າກ່ອນ, ຄໍາສັ່ງທີ່ຂຽນໂດຍ Codex, ແລະການຄິດໄລ່ຈໍານວນຫຼວງຫຼາຍ.

2:36 ລາວໄດ້ຖາມວ່າຄໍາສັ່ງທໍາອິດຖືກສົ່ງເມື່ອໃດ. ສຸດທ້າຍ: ໃນສອງສາມມື້ທີ່ຜ່ານມາ, ຫຼັງຈາກຂໍ້ມູນກ່ຽວກັບວຽກງານຂອງພວກເຮົາໄດ້ໄປຮອດ 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 ຢ່າງມະຫາສານເພື່ອແກ້ໄຂມັນ, ດັ່ງນັ້ນແຮງຈູງໃຈແມ່ນການຢຸດການແບ່ງປັນທິດທາງການຄົ້ນຄວ້າ,

3:55 ປີ້ນກັບການຄົ້ນຄວ້າແບບເປີດເຜີຍມາຫຼາຍສັດຕະວັດ. ສາມກຸ່ມໄດ້ໂພສເລື່ອງການລະເບີດຂອງຂອງແຫຼວໃນທ້າຍອາທິດດຽວ; ເອກະສານຕໍ່ໄປອາດຈະເປັນ NDA. ເຊິ່ງແມ່ນອາລົມທີ່ Jacob Coxon ໄດ້ລາອອກ: ສາມປີຂອງການຝຶກອົບຮົມເບື້ອງຕົ້ນຢູ່ OpenAI, ຈາກນັ້ນ Anthropic; ລາວເວົ້າວ່າທັງສອງບໍລິສັດບໍ່ໄດ້ປະຕິບັດຢ່າງມີຄວາມຮັບຜິດຊອບ, ທັງສອງກຳລັງແຂ່ງຂັນກັນເພື່ອພັດທະນາ superintelligence ທີ່ປັບປຸງຕົນເອງ, ແລະຈຸດຈົບບໍ່ຄວນຖືກເປີດຕົວຈາກ Slack ຂອງບໍລິສັດເອກະຊົນ. ສີ່ສິບສີ່ລ້ານຄັ້ງທີ່ເບິ່ງ, ໃນມື້ທີ່ຫ້ອງທົດລອງໜຶ່ງໄດ້ນໍາຕົວແທນສິບພັນຕົວມາໃຊ້ກັບຂ່າວລື,

4:21 ດັ່ງນັ້ນກະທູ້ຈຶ່ງຖືກເຜີຍແຜ່ພ້ອມກັບການສະແດງສົດ. ໃນຂະນະດຽວກັນ, Meta ໄດ້ເປີດຕົວ Muse: ຕົວແທນສ່ວນຕົວໃນ cloud VM ຂອງຕົນເອງກັບ browser ຂອງຕົນເອງ, ແລະເຈົ້າລົມກັບມັນໃນ WhatsApp. ສະເພາະສະຫະລັດເທົ່ານັ້ນ, ຟຣີສໍາລັບສ່ວນໃຫຍ່. Meta ສັນຍາວ່າມີລຸ້ນທີ່ແມ່ນແຕ່ Meta ກໍບໍ່ສາມາດອ່ານໄດ້, ພາຍຫຼັງປີນີ້, ເປັນວິທີການອະທິບາຍປີນີ້ທີ່ສະເພາະເຈາະຈົງຫຼາຍ. ຄໍາຄິດເຫັນສູງສຸດຂອງ Hacker News: ຂ້ອຍບໍ່ຢາກແບ່ງປັນຊີວິດຂອງຂ້ອຍກັບ Meta ແບບນີ້. ອັນດັບສອງ: ມັນຍັງພະຍາຍາມຂາຍລົດເຂັນເດັກນ້ອຍໃຫ້ຂ້ອຍຢູ່.

4:45 ຖ້າເຈົ້າຢາກອ່ານເລື່ອງນີ້ແທນທີ່ຈະຟັງຂ້ອຍເວົ້າ, the diff ຈະມາຮອດກ່ອງຈົດໝາຍຂອງເຈົ້າ ທຸກໆເຊົ້າ — ຟຣີທີ່ the daily diff dot dev, ລິ້ງຢູ່ລຸ່ມນີ້. ດັ່ງນັ້ນ — ຄຳຕັດສິນຂອງມື້ນີ້: ຕ້ອງໄດ້ທົບທວນຄືນ. ຫຼັກຖານຖືກລວບລວມ; ເລື່ອງລາວບໍ່ຖືກ. ຕົວແທນສິບພັນຕົວແກ້ໄຂບັນຫາອາຍຸເກົ້າສິບປີ ໃນທ້າຍອາທິດແມ່ນຜົນໄດ້ຮັບຄວາມສາມາດແຫ່ງປີ; ການປະກາດມັນດ້ວຍການໂທລະສັບວັນອາທິດຫາສອງຄົນ ທີ່ເຈົ້າໄດ້ຍິນກ່ຽວກັບມັນບໍ່ແມ່ນ.

5:07 ແລະນັ້ນແມ່ນ the diff ສໍາລັບມື້ນີ້. ຂ້ອຍ Niko ຈາກ Axrisi. ລວມກັນຢ່າງມີຄວາມຮັບຜິດຊອບ.

ແຫຼ່ງຂໍ້ມູນ

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com