Cryptohopium

Уволилась ещё парочка исследователей из Anthropic и Google – Joe Benton и Josh Engels. Оба сослались на опасения, что системы развиваются быстрее, чем меры контроля.

Странно, что об увольнениях заговорили только сейчас. В течение 2026 из OpenAI и Anthropic люди уходили постоянно, в том числе руководители команд. Причина одна и та же: ощущение, что коммерческая гонка обгоняет работу по контролю рисков.

Сегодня и Дарио Амодей высказал свои опасения, мол, через 6-12 месяцев мощные системы смогут проводить атаки масштаба всего интернета и с этим надо что-то делать. Призывает всех публиковать даже самые неудобные выводы. Сам готов не только притормозить развитие своих моделей, но и обещает пустить независимых проверяющих внутрь компании. Короче выражает явный испуг. Говорит, что нужно срочно согласовать ограничения между компаниями, включая Китай, иначе… а хрен знает что иначе, потому что даже им уже не совсем понятно, на что новые модели способны. Как минимум, по его словам, меньше чем через год интернет заполонит орда автономных ИИ-ботов, способных нанести разный ущерб.

Но судя по последним постам и результатам опраса большинству тут всё ясно-понятно: они просто боятся, что пузырь завтра лопнет, вот и пытаются привлечь больше денег рассказывая страшилки 🤪

Не знаю, есть ли вообще смысл разбирать эту тему для трёх человек, кому тема ИИ ещё интересна?

В 2000 году Институт Клэя объявил список "Задач тысячелетия" – 7 самых важных и фундаментальных проблем математики. Решение любой из них – не просто "галочка", а создание целого пласта новых математических и инженерных инструментов для всего человечества! Поэтому за решение каждой назначили награду в $1 млн.

В 2003 одну из семи задач (гипотезу Пуанкаре) решил Григорий Перельман. Это решение, которое он искал несколько лет, стало фундаментальным прорывом в геометрии и топологии. Перельман не просто доказал гипотезу, а завершил доказательство гораздо более общей гипотезы геометризации Тёрстона, классифицирующей трёхмерные многообразия. Развитые им инструменты (потоки Риччи) используются теоретическими физиками для понимания глобальной геометрии нашей Вселенной, а также процессов в теории струн и пространственно-временных сингулярностях.

Вчера OpenAI заявила, что её новая внутренняя непубличная модель, которая ещё тренируется, но уже "показывает беспрецедентные результаты на внутренних тестах", решила вторую из семи Задач тысячелетия – проблему существования и гладкости уравнений Навье-Стокса, над которой математики бились почти 100 лет.

Сначала 100 агентов за ~50 часов решали отдельную, более простую, но тоже давнюю открытую задачу о сингулярности для уравнений Эйлера.

Затем OpenAI перенаправила рой на гораздо более сложное уравнение Навье-Стокса, масштабировав его до 10 000 агентов и дав им результат Эйлера как исходную идею.

2,7 млн сообщений, 130 млрд токенов (можно 150 000 раз переписать "Войну и мир"), которые обошлись OpenAI от $3 до $15 млн – стоили того. Через 88 часов система выдала аналитическое доказательство на 165 страниц. Ещё 17 часов ушло на формализацию и проверку в Lean – строгом компьютерном верификаторе, который механически проверяет каждую логическую связь, резко сокращая риск человеческой ошибки или ложной логической цепочки.

В чём суть открытия? Уравнения Навье-Стокса – это фундаментальная математическая модель движения жидкостей и газов – от воды в кране и воздуха вокруг крыла самолёта до моделей течения крови и плазмы.

Главный открытый вопрос заключался в следующем: всегда ли гладкое течение остаётся гладким навсегда, или за конечное время в нём может возникнуть сингулярность?

ИИ доказал, что может. Он построил математический сценарий, в котором вихрь стягивается в уменьшающуюся область, вытягивается и ускоряется до бесконечности за конечное время, оставаясь при этом конечным по энергии.

Если предложенное решение пройдёт независимую математическую проверку, произойдёт фундаментальный сдвиг в истории науки. Это изменит наше понимание того, что вообще способны вычислять уравнения, которыми мы описываем физический мир.

Но ещё важнее другое... #ИИволюция

До этого человечество не знало такого доказательства. Если оно пройдёт проверку, то это станет прямой демонстрацией того, что ИИ способен выйти за рамки воспроизведения человеческих знаний и генерировать фундаментально новые математические результаты.

Эту автоматизированную научно исследовательскую группу, которая ставит подзадачи, обменивается удачными идеями и формализует итог, можно натравить на автономный поиск лекарств, проектирование материалов с заданной молекулярной структурой и... на оставшиеся пять "Задач тысячелетия". Самая интригующая из которых – равенство классов P и NP.

Если окажется, что P = NP, то это подарит человечеству ключи для идеального моделирования мира, но... поставит под угрозу фундамент современной криптографии – от RSA и SSL/TLS до криптосистем, на которых держится Биткоин 🙂

Если же P ≠ NP, мы получим доказательство фундаментального предела того, что вообще поддаётся эффективному вычислению в нашей Вселенной. Что тоже мощно для математики.

Ирония в том, что такие рои ИИ уже штурмуют задачи, которые считались вычислительно нерешаемыми за разумное время.

Возможно, мы наблюдаем не просто создание нового инструмента для науки, а появление нового способа заниматься самой наукой.

Они отняли у неё практически всё: мужа, дочь, отца, социальный статус, свободу, представление о справедливости, доверие к государству, честь и достоинство.

Отбывая 14-летний срок в тюрьме, она решается на побег и в процессе подготовки узнаёт, где на воле спрятан сид с битками на $1 млрд.

По сюжету классика. Буквально. Современная вариация "Графа Монте-Кристо" в очень российских реалиях: Кутузовский, мажоры на Гелике, влиятельные родители, суд, который можно купить.

Женю ломает система, она оказывается в тюрьме, встречает Яну, которая становится для неё современным аббатом Фариа, а дальше начинается подготовка к возвращению и мести.

Но сериал "Холод" не столько про "она вернётся и накажет плохих", больше про историю формирования нового человека из сломанного старого. По крайней мере, надеюсь, что к финалу доведут именно эту линию.

Несмотря на упрощения в некоторых деталях, сериал получился залипательным, атмосферным. Снято красиво. В главной роли – Любовь Аксёнова. Наверное, это одна из лучших её ролей: сказать, что она тут "раскрылась" – слишком мягкое описание некоторых сцен...)

Потенциал сериала – 8/10. Вышло пока только 6 серий из 10. Финал определит, был ли весь этот путь историей превращения человека или просто длинной подготовкой к эффектной мести.

Кстати, давно начал замечать, что чемоданы нала в #кино, особенно в русском, всё чаще заменяет Биткоин 😎

😁

Скорее всего, конечно, просто совпадение. Но подход этих "тру-биткоин-макси" удивляет. Накосячили при интеграции библиотеки – и критическая ошибка прожила в коде почти пять лет!

Даже когда появился ИИ, который круто находит баги в коде, они не торопились его тестировать. Или...? 

Ну конечно же, они тестировали! Вот же, после взлома они заявили, что за несколько недель до атаки проверяли код с помощью ИИ и... ничего не нашли.

Даже после взлома они повторно прогнали код через несколько моделей и... снова ничего не нашли.

Получается прав был их СЕО, когда в своё оправдание заявил, что у хакера был супер мощный ИИ, который смог найти этот супер скрытый баг.

Самый популярный коммент к его посту:

Комментарий в самом коде буквально указывает на то, что это было осознанное решение сделать всё через одно место, и этот коммит сделал ты лично.
Ты законченный неудачник и грязное пятно на истории биткоина.

На скриншоте виден фрагмент кода с комментарием разработчика (строки 67–68): Псевдо-генератор случайных чисел (pRNG) — это не то чтобы идеально, но пока сойдёт...

И это "пока" лежало там 5 лет...

Кстати, в этот же день ряд независимых исследователей опубликовали результаты своих экспериментов: Claude обнаружил уязвимость за несколько минут. Наверняка он просто "списал" готовый разбор из интернета?

Чтобы исключить обучение модели на свежих новостях из сети, код прогнали через GLM 5.2 без доступа к интернету. В изолированном режиме проблема нашлась за 20 минут. Расчётная стоимость такой проверки ~$2.

Что думаешь?

🤡 Случайная ошибка, совпадения бывают.

😁 Пенсионный план разрабов сработал идеально. Ну или их кто-то опередил.

👾 ИИ за $2 оказался умнее всего отдела безопасности Coldcard и их фанатов, слепо веривших бренду "тру-макси".

Ни одного "настоящего биткоинера" 😅
Даже у анонимного говномёта нет биткоин-аппаратника? Или ты щедр только на какахи с 3х акков, а голос зажопил? 🙃

Результаты опроса опять удивляют. Из положительного – доля Trezor стала заметно выше, чем несколько лет назад.

Из отрицательного – каждый второй юзает аппаратник с закрытым кодом...

Вообще неудивительно, что это самые популярные девайсы в мире. Ledger сделали стильное устройство, первыми зашли во все магазины, платили топовым блогерам, включили поддержку всех щиткоинов мира, и всё это с иллюзией безопасности в виде секюрчипа, ещё и по цене дешевле, чем "ущербный" на вид и по количеству щитков Trezor без секюрчипа.

SafePal – аналогично, только они зашли не первыми, зато за ними Binance, одна из крупнейших криптобирж в мире.

Для криптанов, которые пришли в крипту за финансовым суверенитетом, Ledger – это парадокс. Ты уходишь от банка, чтобы снова доверить свои деньги дяде, который, к тому же, двигается вот на таком стиле 🤪

Просто напомню, что Биткоин создавался именно для того, чтобы убрать из цепочки доверенных третьих лиц. А Ledger и SafePal строят бизнес на том, чтобы вернуть этих третьих лиц обратно.

Писал уже и не раз про Ledger. Кратко напомню что с ним не так:

1. Модель безопасности была провалена ещё на этапе покупки. Регулярные утечки баз данных сотен тысяч клиентов (телефоны, email и физические адреса), которые они "заботливо" зачем-то хранят. Кроме писем с угрозами были и случаи физических нападений и вымогательства, о которых мы слышим всё чаще.

2. Закрытый код. Ты никак не можешь проверить, что он делает с твоими приватными ключами. Просто на слово веришь французской корпорации.

3. Годами они уверяли всех, что архитектура Secure Element не позволяет извлечь приватный ключ. Но в 2023 они выкатили функцию Ledger Recover, которая отправляет твой сид на хранение каким-то сторонним компаниям, чтобы ты мог восстанавливать его по паспорту 🤣

По сути Ledger продвигают банковский сервис под видом криптокошелька. KYC при покупке и в приложении Ledger Live. Кастодиальные сервисы внутри. Привязка личности к восстановлению доступа. Это банкинг 2.0.

SafePal не сильно лучше. Тоже закрытый код, который они много лет обещают открыть, но вместо этого они выпустили новый бюджетный SafePal X1 с открытым кодом, что имеет мало смысла, ведь все их приложения остались закрытыми. А опция бэкапа в облаке... С точки зрения классической криптографии и базовой гигиены безопасности – это полный сюр. Это даже безумнее, чем Ledger Recover.

Аппаратные кошельки изначально создавались ради одной главной идеи – приватный ключ НИКОГДА не касается сети и операционной системы.

Не буду призывать их выбрасывать. Они точно лучше бирж. Но я бы не считал эти "аппаратники" полноценным холодным хранением в том смысле, который вкладывал в него Сатоши.

Мировая перестройка началась. Трясти будет не по-детски. Ломать будут всё, что можно сломать. Кидать будут массово. И чем сильнее будет турбулентность в мире, тем выше будет спрос на решения, где безопасность строится не на обещаниях корпораций, а на математике и открытом коде.