OpenAI сцвярджае, што яе мадэль штучнага інтэлекту абвергла гіпотэзу экспанентнага часу
Гэта велізарная задача, ці, прынамсі, будзе такой, калі яна вытрымае крытыку. OpenAI сцвярджае, што ўнутраная мадэль абвергла гіпотэзу экспанентнага часу — здагадку пра тое, наколькі складанай з'яўляецца булева задаволенасць, на якой ціха абапіраюцца сотні артыкулаў па інфарматыцы. Мадэль знайшла абвяржэнне прыкладна дзесяць дзён таму, OpenAI праверыў яе ў Lean на наступны дзень, і цяпер і артыкул, і доказ Lean знаходзяцца на GitHub.
Нечаканы паварот. Двое з тых, хто ўпершыню прапанаваў ETH, Расэл Імпальяца і Рамамохан Патуры, а таксама Раян Уільямс з MIT, узначаляць незалежную праверку. Яны таксама адкрыта заяўляюць пра гэта: «наш удзел не павінен успрымацца як пацверджанне заявы». Ніякіх пагадненняў аб неразгалошванні і плацяжоў няма, і OpenAI пагадзілася апублікаваць усе неапрацаваныя дадзеныя і прафінансаваць канферэнцыю.
У той жа дзень былі прапанаваны яшчэ два доказы: доказ гіпотэзы лакальнага згладжвання ў кожным вымярэнні (што таксама павінна было абвергнуць гіпотэзы абмежаванняў Какеі і Штэйна) і строгі доказ існавання некаторых чатырохмерных квантавых тэорый поля, сярод якіх чыстыя тэорыі Янга-Мілса. Група на чале з лаўрэатам Нобелеўскай прэміі Дэвідам Гросам утойвае матэрыялы пра штучны інтэлект і піша іх самастойна.
OpenAI заяўляе, што не зацікаўлены ў акадэмічных крэдытах і выдзеліў 5 мільёнаў долараў Фонду Сайманса на правядзенне семінараў. Тым не менш, пытанне аб тым, хто атрымлівае гэтыя крэдыты, можа аказацца самым складаным.
Антропныя файлы для патэнцыйна рэкорднай ацэнкі фондавага рынку ў ключавым тэсце для індустрыі штучнага інтэлекту
Афіцыйна. Anthropic публічна падала заяўку на размяшчэнне на біржы пад тыкерам ANT, аналітыкі і інвестары ацэньваюць яе кошт больш чым у 1,5 трлн долараў. Кампанія падала заяўку канфідэнцыйна некалькі месяцаў таму, таму гэта першы выпадак, калі староннія назіральнікі могуць азнаёміцца з праверанымі лічбамі.
Гэтыя лічбы ўражваюць. Выручка вырасла з 41 мільёна долараў некалькі гадоў таму да 4,585 мільярда долараў у мінулым годзе, а затым да 16,286 мільярда долараў толькі за першыя шэсць месяцаў гэтага года. Тым не менш, тая ж палова года таксама прывяла да чыстых страт у памеры 80 мільярдаў долараў. У Anthropic больш за 14 000 карпаратыўных кліентаў, і чвэрць выручкі паступае ад пяці найбуйнейшых кампаній.
Раздзел аб рызыках займае больш за 90 старонак, што, здаецца, цалкам адпавядае кампаніі, кіраўніцтва якой сцвярджае, што яе найлепшыя мадэлі могуць аказаць «значную дапамогу» людзям, якія спрабуюць стварыць хімічную або біялагічную зброю. Там жа згадваецца і абазначэнне адміністрацыяй Трампа рызыкі для ланцужкоў паставак.
Банкі Уол-стрыт і Blackstone плануюць выдзеліць 63 мільярды долараў на фінансаванне чыпаў Broadcom для штучнага інтэлекту для Anthropic
У той самы дзень падачы заяўкі на IPO Bank of America, Blackstone, Citi і Morgan Stanley сабралі 63 мільярды долараў на куплю чыпаў штучнага інтэлекту і сеткавага абсталявання Broadcom для Anthropic. Гэта адна з найбуйнейшых здзелак па запазычанасці, звязаных з развіццём штучнага інтэлекту, на сённяшні дзень.
Структура — гэта нядаўна створаная спецыяльная кампанія, якая купляе абсталяванне і здае яго ў арэнду вытворцу Claude. Broadcom прадастаўляе крэдыторам «падтрымку рэшткавага кошту», што па сутнасці з'яўляецца значнай гарантыяй. Паводле дзвюх крыніц, каля 43,5 мільярда долараў з гэтай сумы — гэта запазычанасць па першай закладзе, у той час як Blackstone атрымлівае частку другой залогавай запазычанасці.
Пастаўкі, як чакаецца, пачнуцца не раней за наступны год. Moody's па-ранейшаму лічыць Broadcom адной з наймацнейшых буйных тэхналагічных кампаній, але папярэджвае, што рызыка ўзрастае, калі шмат такіх здзелак назапашваецца за кароткі прамежак часу. І яны назапашваюцца.
Meta абвясціла аб размяшчэнні акцый на 95 мільярдаў долараў для фінансавання пашырэння штучнага інтэлекту
Meta хоча атрымаць яшчэ 95 мільярдаў долараў для фінансавання развіцця свайго праекта па развіцці штучнага інтэлекту. План пачынаецца з публічнага размяшчэння акцый на суму 35 мільярдаў долараў, а затым яшчэ 60 мільярдаў долараў праз праграму размяшчэння акцый на рынку.
Адна прыемная дэталь вылучаецца: Nvidia, AMD і Broadcom, тыя самыя фірмы, якія прадавалі чыпы, былі зацікаўлены ў куплі акцый на суму да 5 мільярдаў долараў. Акцыі ўпалі на 1,6% падчас ранішніх таргоў.
Гэтыя грошы падтрымліваюць такія праекты, як Muse, агент штучнага інтэлекту, праграмы і бізнес цэнтраў апрацоўкі дадзеных. Meta на мінулым тыдні ўжо павысіла свой прагноз капітальных выдаткаў на ўвесь год да 135–145 мільярдаў долараў, і інвестары не былі ў захапленні ад адмоўнага свабоднага грашовага патоку. Як сказаў адзін аналітык, гэта «адлюстроўвае ашаламляльны ўзровень інвестыцый, неабходных для таго, каб не адставаць ад гонкі ўзбраенняў у галіне штучнага інтэлекту»
Новы стартап былых супрацоўнікаў DOGE сцвярджае, што ўзламаў Anthropic
Cathedral, стартап у галіне бяспекі, заснаваны былымі супрацоўнікамі DOGE, сцвярджае, што яго агенты штучнага інтэлекту знайшлі шляхі да ўнутраных сістэм Anthropic менш чым за 12 гадзін. Шлях да ўзлому пралягаў праз уразлівасці ў бізнес-праграмным забеспячэнні іншых вытворцаў, і заяўленая крадзеж уключаў стэнаграмы сустрэч, заробкі, прапановы працы і паведамленні ў Slack.
Версія Anthropic адрозніваецца. Яна пацвердзіла доступ да «абмежаванага набору» сістэм продажаў, кадраў і ІТ, але сцвярджае, што размовы з Клодам, зыходны код і вагі мадэляў ніколі не чапаліся. Там таксама гаворыцца, што даследчыкі некалькі дзён не змаглі ўзламаць сістэму непасрэдна, і абвінавачваюць Cathedral у парушэнні правілаў сваёй праграмы тэсціравання, не раскрыўшы поўны маштаб таго, што яна зрабіла.
Кафедральны сабор ацэньваецца ў 1,4 мільярда долараў, і, як паведамляецца, высокапастаўлены чыноўнік адміністрацыі Трампа выказаў заклапочанасць нацыянальнай бяспекай. Ці з'яўляецца гэта трывожным званком, ці своечасовай прапановай, застаецца адкрытым, і цалкам магчыма, што гэта будзе і тое, і другое.
Прадстаўляем GPT-6.1 Terra
Новая мадэль Terra ад OpenAI рэкламуецца як рабочая конік для непрыкметных паўсядзённых камп'ютэрных задач: складання прапаноў, чытання тэхнічных чарцяжоў, запаўнення формаў і нават рэдагавання відэа. Яна даступная для карыстальнікаў Plus, Pro, Enterprise і Edu ў ChatGPT Work і Codex, а таксама праз API.
Галоўнае — кошт. Кошт API на 50% ніжэйшы, чым у GPT-5.6 Terra і GPT-6.1 Sol, складаючы 1 долар за мільён уваходных токенаў і 5 долараў за мільён выходных. OpenAI сцвярджае, што ў сваім бенчмарку Agents' Last Exam ён адпавядае GPT-6 Astra па дзясятай цаны за токен і выконвае задачы больш чым у тры разы хутчэй.
Галюцынацыі таксама рэзка знізіліся, прынамсі, паводле ўнутраных тэстаў OpenAI: узровень памылак пры нізкіх намаганнях знізіўся з 53,6% да 16,7%. У Terminal-Bench 4.0 ён вырашае 50,3% задач, што больш чым удвая перавышае стары Terra. Аднак для самых складаных задач кадавання сам OpenAI раіць выкарыстоўваць Sol або Astra.
«Dear ChatGPT»: 12-гадовая дзяўчынка атрымала галоўны прыз для моладзі на Australian Poetry Slam — відэа
Вось адзін падбадзёрлівы прыклад. Блэйк Макензі, 12-гадовы падлетак з Ньюкасла, атрымаў галоўны прыз для моладзі на Аўстралійскім паэтычным слэме за твор, адрасаваны нікому іншаму, як ChatGPT.
Ён выканаў яе ў Сіднэйскім оперным тэатры ў нядзелю ўвечары, і ў ёй былі праблемы пракруткі смерцяў, адзіноты і інтэлектуальнай атрафіі. Пікантныя словы ад хлопчыка, які, верагодна, занадта малы для большасці праграм, пра якія ён папярэджвае.
Конкурс праходзіў у 65 этапах у 60 гарадах і мястэчках, каб вызначыць 16 фіналістаў. Блэйк падзяліў прызавы пакет у памеры 20 000 долараў з паэтам з Аліс-Спрынгс Біварам, які перамог у дарослай катэгорыі з раманам «Палітыка цябе робіць».
Часта задаваныя пытанні
Ці сапраўды мадэль штучнага інтэлекту OpenAI абвергла гіпотэзу экспанентнага часу?
OpenAI сцвярджае, што ўнутраная мадэль абвергла гіпотэзу экспанентнага часу — здагадку пра складанасць булевай задаволенасці. Мадэль знайшла абвяржэнне прыкладна дзесяць дзён таму, і OpenAI пацвердзіў яе ў Lean на наступны дзень. Апісаная інфармацыя і доказ Lean цяпер размешчаны на GitHub. Сцвярджэнне ўсё яшчэ павінна вытрымаць незалежную праверку.
Хто незалежна правярае абвяржэнне заявы OpenAI аб ETH?
Расэл Імпальяца і Рамамохан Патуры, двое з прапанаваных праектаў ETH, разам з Раянам Уільямсам з MIT будуць праводзіць праверку. Яны падкрэсліваюць, што іх удзел не варта разглядаць як пацверджанне заявы. Пагадненняў аб неразгалошванні няма, аплачваць не трэба. OpenAI пагадзіўся апублікаваць усе неапрацаваныя дадзеныя і прафінансаваць канферэнцыю.
Якія яшчэ вынікі матэматыкі і фізікі абвясціў OpenAI у той жа дзень?
OpenAI таксама заявіў пра доказ гіпотэзы лакальнага згладжвання ва ўсіх вымярэннях, што дазволіла б абвергнуць і гіпотэзы абмежаванняў Какеі і Штэйна. Другое сцвярджэнне заключалася ў строгім доказе існавання некаторых чатырохмерных квантавых тэорый поля, сярод якіх чыстыя тэорыі Янга-Мілса. Група пад кіраўніцтвам лаўрэата Нобелеўскай прэміі Дэвіда Гроса ўтойвае матэрыялы па штучным інтэлекце і піша іх самастойна. OpenAI заяўляе, што не зацікаўлены ў акадэмічных крэдытах і выдзеліў 5 мільёнаў долараў Фонду Сайманса на правядзенне семінараў.
Што раскрывае заяўка Anthropic на IPO аб яе даходах і стратах?
Anthropic публічна падала заяўку на размяшчэнне на біржы пад тыкерам ANT, і аналітыкі і інвестары ацэньваюць яе ў больш чым 1,5 трыльёна долараў. Выручка вырасла з 41 мільёна долараў некалькі гадоў таму да 4,585 мільярда долараў у мінулым годзе, а затым да 16,286 мільярда долараў за першыя шэсць месяцаў гэтага года. За тую ж палову года кампанія паведаміла пра чыстыя страты ў памеры 80 мільярдаў долараў. У кампаніі больш за 14 000 карпаратыўных кліентаў, і пяць найбуйнейшых кампаній забяспечваюць чвэрць выручкі.
Як працуе здзелка па фінансаванні Anthropic ад Broadcom на 63 мільярды долараў?
Bank of America, Blackstone, Citi і Morgan Stanley сабралі 63 мільярды долараў на куплю чыпаў штучнага інтэлекту і сеткавага абсталявання Broadcom для Anthropic. Новаствораная спецыяльная кампанія купляе абсталяванне і здае яго ў арэнду вытворцу Claude. Broadcom забяспечвае крэдыторам падтрымку рэшткавага кошту. Паводле дзвюх крыніц, каля 43,5 мільярда долараў — гэта запазычанасць па першай закладзе, у той час як Blackstone бярэ на сябе частку другой залогу. Пастаўкі, як чакаецца, пачнуцца не раней за наступны год.
Чаму Meta прыцягвае 95 мільярдаў долараў праз размяшчэнне акцый?
Meta хоча фінансаваць развіццё свайго бізнесу ў галіне штучнага інтэлекту (AI), уключаючы агента Muse, праграмы і бізнес цэнтраў апрацоўкі дадзеных, на суму 95 мільярдаў долараў. План пачынаецца з публічнага размяшчэння акцый на суму 35 мільярдаў долараў, а затым яшчэ 60 мільярдаў долараў праз праграму «на рынку». Nvidia, AMD і Broadcom былі зацікаўлены ў куплі акцый на суму да 5 мільярдаў долараў. Meta ўжо павысіла свой прагноз капітальных выдаткаў на ўвесь год да 135–145 мільярдаў долараў, а акцыі ўпалі на 1,6% падчас ранішніх таргоў.
Ці сапраўды Cathedral узламаў унутраныя сістэмы Anthropic?
«Cathedral», стартап у галіне бяспекі, заснаваны былымі супрацоўнікамі DOGE, сцвярджае, што яго агенты штучнага інтэлекту знайшлі шляхі да ўнутраных сістэм Anthropic менш чым за 12 гадзін праз уразлівасці ў праграмным забеспячэнні іншых вытворцаў. Anthropic пацвердзіла доступ да абмежаванага набору сістэм продажаў, кадраў і ІТ. Яна сцвярджае, што размовы Клода, зыходны код і вагі мадэляў ніколі не чапаліся. Anthropic таксама абвінавачвае «Cathedral» у парушэнні правілаў сваёй праграмы тэсціравання, не раскрываючы поўны маштаб таго, што яна зрабіла.
Колькі каштуе GPT-6.1 Terra і хто можа ім карыстацца?
GPT-6.1 Terra будзе даступны для карыстальнікаў Plus, Pro, Enterprise і Edu ў ChatGPT Work і Codex, а таксама праз API. Кошт API складае 1 долар за мільён уваходных токенаў і 5 долараў за мільён выходных, што на 50% ніжэй, чым у GPT-5.6 Terra і GPT-6.1 Sol. OpenAI сцвярджае, што ён адпавядае GPT-6 Astra на Agents' Last Exam па цане, якая складае дзясятую частку кошту за токен. Для самых складаных задач кадавання OpenAI раіць выкарыстоўваць Sol або Astra.