AI-дайджест 24.10: ШІ і теореми, кібератаки агентів, дефіцит чіпів

0:02PM Lead ProЦе PM Lead Pro. У цьому випуску: ШІ доводить теореми, автономні агенти в кібератаках, дефіцит чіпів і відповідь Китаю. Корисно, якщо ви впроваджуєте ШІ в команді.

0:15Уявімо таку картину. Шточний інтелект раптом починає лускати математичні проблеми, над якими вчені сиділи десятиліттями.

0:22Ага, звучить як справжнє свято для науки, так?

0:24Так, так. Але цей самий інтелектуальний стрибок одразу ж провокує кібернетичний чорний жовтень.

0:31І ще більше поглиблює світову кризу чіпів. От звідки тут взагалі зв'язок?

0:35Сьогодні ми робимо глибоке занурення у матеріали від Latent Space, The Register та розмову з подкасту Dwarcash, щоб це розібрати.

0:42Ну, почалося все з того, що моделі навчилися самостійно доводити надскладні теореми. Типу тієї ж гіпотези Ердеша чи рівнянь на в'єстокса. Автори на Latent Space дуже класно підмітили цю зміну парадигми. Люди ж зазвичай шукають рішення як?

1:00Вшир, так. Або перевірити навіть одну ідею – це ж місяці роботи.

1:04Точно. А от ШАІ використовує пошук углиб. Тобто він миттєво доводить тисячі, навіть абсолютно абсурдних, гіпотез до кінця. І завдяки новим системам-верифікаторам сам їх перевіряє. Відбувається такий собі обмін часу на сиру обчислювальну потужність.

1:23Слухай, це мені нагадує ситуацію з лабіринтом. От людина заглядає в кожен коридор по черзі, дуже ретельно обдумує кроки, а ШАІ, типу, просто клонує себе і…

1:45Я от на The Register бачила звіти про нереальний сплеск атак.

1:49Пишуть, що автономні шай-агенти тепер самі знаходять вразливості нульового дня.

1:54Скажімо, у ядрі PHP.

1:56Угу, і це лякає.

1:57Дуже. Тобто захищати IT-інфраструктуру тепер зможе тільки інший шай.

2:01Бо людина ж фізично не встигне за такими швидкостями реагувати.

2:04Власне, так і є. Креативність для злому більше не є чимось обов'язковим.

2:09Шан не бере геніальними здогадками, він бере безжальною швидкістю.

2:13Генерує тисячі варіантів коду і миттєво їх тестує.

2:16Якщо раніше патчі безпеки можна було випускати тижнями, то тепер атака відбувається за мілісекунди.

2:23І тут ми просто впираємося в бетонну стіну фізики.

2:26PM Lead ProДля тімліда: за словами ведучих, людина фізично не встигає реагувати на такі швидкості, тож захищати інфраструктуру зможе лише інший ШІ. Варто подивитися, як це враховано у вашому захисті.

2:40Бо для запуску таких армій-агентів треба шалене залізо.

2:43Якого фізично не вистачає.

2:44Якщо вірити цифрам з DWARCASH, попит на SH chip і зараз відсотків на 40-50 перевищує пропозицію.

2:52Ого, майже в півтора раза?

2:54Так, і все це зводиться до одного вузького горлечка літографічних машин від ASML.

2:59Це такі величезні установки, які екстремальним ультрафіолетом випалюють мікросхеми.

3:04Кожна коштує десь 200 мільйонів доларів.

3:07І їх же роблять дуже мало, наскільки я пам'ятаю.

3:09Менше сотні на рік.

3:10HiNA 0 1 Hynay

3:44за даними Dow, знизив квоту бронювання для критичної енергетики та оборонки до 95%.

3:49О, це важливий крок для безпеки.

3:51Так. Але повертаючись до нашої глобальної гонки.

3:54Якщо ASML випускає так мало машин і майже всі вони осідають на Заході,

3:59то що робить Китай? Як вони взагалі виживають?

4:01А вони змінили тактику.

4:03Замість того, щоб битися суто в залізо, куди їм доступ перекрили,

4:07вони маніакально оптимізують архітектуру самих моделей.

4:10О, це якраз ідеальний момент для нашого радару моделей.

4:14Що там зараз найцікавішого у них?

4:16Матеріали виділяють кілька проривів.

4:18Перше – це Kimi K3.1 Pro від компанії Moonshot.

4:22Там 2,8 трильйона параметрів.

4:25Нічого собі об'єм.

4:27Так, але активних з них лише 104 мільярди завдяки архітектурі Mixture of Experts, тобто суміші експертів.

4:34І вона вже обходить закриту західну модель Fable 5.1.

4:49Ага, є LinkDT Decision 1.0 від EndGroup. Це вузькоспеціалізована модель на 4 та 27 мільярдів параметрів суто для прийняття рішень.

5:00І вона точніша за нові західні моделі типу Jeff.

5:03І що найкрутіше, щоб усе це працювало локально, вони ж випустили StarLux Prism.

5:08Це такий відкритий рушій саме для модели рішень. Я бачила цифри. Він прискорює запуск на одній відеокарті H200 у понад 5 разів порівняно із західним VLLM.

5:19Саме так. Китай просто витискає максимум продуктивності з того обмеженого обладнання, що має.

5:25PM Lead ProДля власника компанії: Китай оптимізує архітектуру замість заліза. Kimi K3.1 Pro має 2,8 трильйона параметрів, але активних лише 104 мільярди. Розмір моделі — не єдина мірка.

5:40Якщо підсумувати все це занурення, вималюється дуже практична думка.

5:44Здатність ШАІ дешево й миттєво перевіряти будь-які ідеї означає, що цінність нас як фахівців кардинально зміщується.

5:52Абсолютно. Тепер головне не просто згенерувати рішення. Машина це зробить набагато швидше. Важливо вміти створювати надійні системи автоматичної перевірки. Ті самі верифікатори.

6:04От-от. І якщо ми згадаємо мій приклад з лабіринтом, якщо ШАІ вже перевершує нас у генерації і здатності пробігти всіма коридорами, чи готові ми до того, що єдиною нашою важливою навичкою залишиться просто вміння обрати правильний лабіринт?

6:19або вміння ставити правильні запитання ще до того, як ми взагалі зробимо перший крок.

6:24PM Lead ProБільше шукайте на pmlead.pro: транскрипт і джерела є на сторінці випуску. А у вас є системи автоматичної перевірки результатів ШІ?