OpenAI каже да је решио Навије-Стоксове једначине. Пресуда: ПОТРЕБНО ЈЕ ПРЕГЛЕДАТИ.

Шта овај видео покрива

• OpenAI: Навије-Стоксово распадање, ~10.000 агената, 88 сати, 130 милијарди излазних токена, верификовано у Lean-у
• Бакмастер и Алпож: годину дана на истом приступу, гласина и недељни позив са две понуде
• Теренс Тао: „чак и гласина да неко ради на проблему може покренути огромну количину напора подржаног вештачком интелигенцијом да се он реши“
• Џејкоб Коксон подноси оставку из Anthropic-а: обе лабораторије „јуре право ка самопобољшавајућој суперинтелигенцији“
• Meta испоручује Muse: личног агента на сопственој облак виртуелној машини, у WhatsApp-у, само за САД

Преведени транскрипт

Преведено са оригиналне енглеске нарације. Доступни аудио и титлови контролисани су од стране YouTube-а.

0:00 Јуче је OpenAI објавио да је његова вештачка интелигенција решила проблем Миленијумске награде, отворен деведесет година, милион долара, за осамдесет осам сати, а двојица математичара који су годину дана радили на истом проблему сазнали су за то у недељном телефонском позиву који је, према једном од њих, укључивао: зашто бисте уништили своју каријеру? Био је то дуг понедељак. У зору је професор Њујоршког универзитета објавио изјаву од четири странице; хиљаду шестотина поена на Hacker News-у. Поподне је OpenAI објавио доказ.

0:26 Увече је Теренс Тао рекао да су отворени проблеми сада експлоатисани као необновљиви ресурс, а преко ноћи је истраживач из Anthropic-а поднео оставку на X-у, четрдесет четири милиона прегледа, јер обе лабораторије, цитат, коцкају се нашим животима. Такође, Мета је испоручила личног агента који живи у WhatsApp-у и има свој рачунар. У овом видеу: доказ, телефонски позив, фуснота, и реченица коју Теренс Тао жели да лабораторије чују.

0:49 Среда је, 9. септембар, и ово је The Daily Diff. Прво математика. Навије-Стоксове једначине описују кретање флуида, а од 1934. нико није знао да ли се глатки 3Д флуид може сударити са сингуларношћу: брзина која постаје бесконачна у коначном времену. Систем OpenAI-а каже да. Почните из мировања, примените глатку силу, одржите енергију коначном, и вртлог се спирално увија попут шпагета док брзина не експлодира. Изјаве Ц и Д Клејове формулације, у Lean-у,

1:16 седамнаест сати Астре да се верификује. Дакле, флуиди могу експлодирати, што је знао свако ко је просуо кафу на MacBook, али сада је то у Lean-у. Како: OpenAI има нови интерни модел који назива знатно способнијим од Астре, и 1. септембра су чули гласину да су два Миленијумска проблема решена, па су га усмерили на сваки отворен. Група Навије-Стокса: око десет хиљада истовремених агената, сто тридесет милијарди излазних токена; триста милијарди за све

1:42 проблеме. По Astra ценовнику, петнаест милиона долара токена за награду од милион долара коју OpenAI каже да неће тражити, и по тој маржи, ко би. Друга страна. Тристан Бакмастер са Њујоршког универзитета и Левент Алпож, који ради у Anthropic-у, провели су годину дана развијајући приступ Кордобе и Мартинес-Зорое са Claude-ом и Codex-ом, плаћајући OpenAI из Бакмастерових сопствених истраживачких фондова. 15. августа су добили распадање за Еулерове једначине; Бакмастер назива први LLM доказ најужаснијим који је икада прочитао,

2:10 и верификован је у Lean-у 22. августа. Затим се проширила гласина, и 3. септембра је послао имејл OpenAI-ју: то смо ми, то је лично, ускоро ћемо објавити. У недељу у 12:45 OpenAI је затражио састанак било када тог дана, и Себастијен Бубек се придружио. Бакмастеру је речено да је модел доказао принудне Навије-Стоксове једначине са врло мало људског уноса, што је током позива постало цео тим, прво лакши проблеми, наредба написана од стране Codex-а, и лудачка количина

2:36 рачунарских ресурса. Питао је када је послата прва наредба. На крају: у протеклих неколико дана, након што су информације о нашем раду дошле до OpenAI-ја. Уследиле су две понуде. Једна: ви објавите Еулера, ми објавимо Навије-Стокса следећег дана. Два: Бакмастер сам пише OpenAI доказ, и, каже, Бубек је два пута желео да Алпож не буде на раду јер ради у Anthropic-у. Он је одбио и рекао да ће изаћи у јавност. Одговор, према изјави: зашто бисте уништили своју каријеру,

3:00 затим: ако не желите да будем фин, не морам да будем фин. Обично је то реченица пре него што се коњска глава појави у кревету. OpenAI-јева верзија: нико није видео њихов рад, никакви кориснички подаци нису приступани, и, фуснота, не могу искључити да су де-идентификовани подаци из професорске употребе њихових производа помогли побољшању модела. Алпожова рецензија: свака част што су одмах признали. Сем Алтман каже да су сви поступали са интегритетом и великодушношћу и да је други тим

3:25 претио неоснованим оптужбама за плагијат, написано са једним и. Дакле, званични став: нисмо преписали ваш домаћи задатак, чули смо да радите домаћи задатак. Теренс Тао је назвао резултат професора изванредним и приметио да му је Бакмастер објаснио то телефоном, освежавајућа промена од комуникационих модалитета заснованих на вештачкој интелигенцији. Затим, четири објаве: добри отворени проблеми се сада експлоатишу као необновљиви ресурс, чак и гласина да неко ради на неком проблему покреће масивне напоре вештачке интелигенције да га реши, тако да је подстицај да се престане делити истраживачке

3:55 смернице, преокрећући векове отворене науке. Три групе су објавиле распадање флуида за један викенд; следећи рад може бити NDA. То је расположење у које је Џејкоб Коксон поднео оставку: три године претренирања у OpenAI-ју, затим Anthropic-у; ниједна компанија не поступа одговорно, каже, обе јуре ка самопобољшавајућој суперинтелигенцији, а крајња игра не би требало да буде покренута из Slack-а приватне компаније. Четрдесет четири милиона прегледа, на дан када је једна лабораторија ставила десет хиљада агената на гласину,

4:21 тако да је нит објављена са живим демоом. У међувремену, Мета је испоручила Muse: личног агента на сопственој облак виртуелној машини са сопственим претраживачем, и разговарате са њим у WhatsApp-у. Само за САД, бесплатно за већину ствари. Мета обећава верзију коју ни Мета не може да прочита, касније ове године, врло специфичан начин описивања ове године. Најбољи коментар на Hacker News-у: Не желим овако да делим свој живот са Метом. Други: стално покушава да ми прода колица.

4:45 Ако бисте радије ово прочитали него да ме чујете како то говорим, дифф стиже у ваше пријемно сандуче сваког јутра — бесплатно на the daily diff dot dev, линк испод. Дакле — данашња пресуда: потребно је прегледати. Доказ се компајлира; прича не. Десет хиљада агената који решавају деведесетогодишњи проблем за викенд је резултат способности године; објављивање тога недељним телефонским позивом двема особама од којих сте то чули није.

5:07 И то је дифф за данас. Ја сам Нико из 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