Telegram-дайджест — 18 октября 2026

> Хабр[18 октября, 14:05]

[01] ИИ в большой математике: Навье — Стокс, упаковка сфер и Lean

В сентябре 2026 года OpenAI заявила, что её новая модель решила задачу тысячелетия Навье — Стокса — речь идёт о поиске ранее неизвестного доказательства, а не о формализации готового. Параллельно ИИ-агент Gauss помог завершить перевод на формальный язык Lean доказательства оптимальной упаковки сфер в восьми измерениях (доказательство 2016 года), хотя люди проделали огромную подготовительную работу. Оба заявления вызвали вопросы о корректности результатов и степени самостоятельности ИИ.

💡 Математика — последнее «незапятнанное» поле для ИИ, и если заявления подтвердятся, темп научных открытий изменится навсегда; но сейчас к таким анонсам стоит относиться с тщательной проверкой.

[01] ИИ в большой математике: Навье — Стокс, упаковка сфер и Lean

[02] Amazon и Yelp начали блокировать доступ ИИ-агентам

[03] Ozon сообщил об атаке на логистический центр

[04] VK сообщила о беспилотной атаке на свой дата-центр

[05] Китайская CXMT вышла в прибыль: выручка выросла более чем в 8 раз

[06] Fervo построила геотермальную электростанцию 33 МВт «на пустом месте»

[07] Стал миллионером? Разработчик раскрыл реальные доходы от двух успешных игр в Steam

[08] Даже минимальное использование ИИ мешает развивать навыки мышления

[09] Аналитики: игровые консоли обречены на вымирание. Срок — 10 лет

[10] Разработан беспроводной имплант для лечения хронической боли

[11] Gamesblender №798: слухи о GTA VI на ПК, прокачанная DLSS 5 и мини-контроллер Xbox

[12] Сооснователь Anthropic: ИИ сократит рабочие места, но создаст новые отрасли

[13] Дженсен Хуанг: снижение фондового рынка из-за ИИ не будет долговременным

[14] Honor X9e Pro: сверхпрочный смартфон с батареей 11 000 мА·ч

[15] Почему подорожала вообще любая память и когда цены упадут

[16] «Джеймс Уэбб» нашёл три погодных режима на коричневом карлике в 20 световых годах

[17] Toyota научила инвалидное кресло ходить: Walk Me шагает на четырёх ногах

[18] Ato замаскировал ИИ-помощника под радиоприёмник для пожилых

[19] Nikon дисквалифицировала победителя конкурса видеомикроскопии из-за ИИ

[20] Huawei готовит новую доступную линейку смартфонов Starlight с чипами Kirin

[21] Обход для Dolby Atmos TrueHD на Apple TV 4K нашёл пользователь Reddit

[22] 13 ноября 2026: дата, когда население Земли «должно было стать бесконечным»

[23] Сверхмассивная чёрная дыра нарисовала радиоволнами скрипичный ключ

[24] Складной дом Brette Haus раскладывается за три часа

[25] Samsung к 2027 году может расширить линейку Galaxy Z до шести моделей

[26] Hyundai Tucson 2027 стал крупнее и получил новый дизайн

[27] Робот WorMa перекачивает воду внутри себя для движения

[28] Fiat показала автомобиль-трансформер Multiplay

📰 Остальные новости