OpenAI вели дека ги решила Навие-Стокс. Пресуда: ПОТРЕБЕН Е ПРЕГЛЕД.

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

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

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

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

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

0:26 Вечерта Теренс Тао рече дека отворените проблеми сега се минираат како необновлив ресурс, а преку ноќ еден истражувач од Anthropic поднесе оставка на X, четириесет и четири милиони прегледи, бидејќи двете лаборатории се, цитат, коцкаат со нашите животи. Исто така, Meta лансираше личен агент кој живее во WhatsApp и има свој компјутер. Во ова видео: доказот, телефонскиот повик, фуснотата, и реченицата што Теренс Тао сака лабораториите да ја слушнат.

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

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

1:42 проблеми. По цени на листата на Astra, петнаесет милиони долари токени за награда од еден милион долари која OpenAI вели дека нема да ја бара, и со таа маржа, кој би. Другата страна. Тристан Бакмастер од NYU и Левент Алпеџ, кој работи во Anthropic, поминаа една година туркајќи пристап од Кордоба и Мартинез-Зороа со Клод и Кодекс, плаќајќи му на OpenAI од сопствените истражувачки фондови на Бакмастер. На 15 август добија експлозија за равенките на Ојлер; Бакмастер го нарекува првиот LLM доказ најстрашниот што некогаш го прочитал,

2:10 и беше потврден во Lean на 22 август. Потоа се прошири гласина, и на 3 септември тој испрати е-пошта до OpenAI: тоа сме ние, тоа е лично, наскоро ќе објавиме. Во недела во 12:45 OpenAI побара да се сретнат во било кој момент денес, и Себастијан Бубек се приклучи. На Бакмастер му беше кажано дека моделот ги докажал присилените Навие-Стокс со многу мал човечки придонес, што за време на повикот стана цел тим, полесни проблеми прво, барање напишано од Кодекс, и неверојатна количина на

2:36 пресметка. Тој праша кога е испратено првото барање. На крајот: во изминатите неколку дена, откако информациите за нашата работа стигнаа до OpenAI. Следеа две понуди. Еден: вие го објавувате Ојлер, ние го објавуваме Навие-Стокс следниот ден. Два: само Бакмастер го пишува доказот на OpenAI, и, вели тој, Бубек двапати сакал Алпеџ да биде отстранет од трудот бидејќи работи во Anthropic. Тој одби и рече дека ќе излезе во јавност. Одговорот, според изјавата: зошто би ја уништил својата кариера,

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

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

3:55 насоки, менувајќи векови на отворена наука. Три групи објавија експлозија на течности за еден викенд; следниот труд може да биде НДА. Тоа е расположението во кое Џејкоб Коксон поднесе оставка: три години претренирање во 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