# Сопутствующие статьи по теме Ошибка

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

Математик за 24 часа опроверг доказанную OpenAI гипотезу! «ИИ доказал каждое утверждение, но оно уже не имеет отношения к исходной гипотезе»

OpenAI объявил, что их новая модель ИИ опровергла гипотезу жесткости Конна, представив в Lean 4 формальное доказательство на 37 000 строк, которое прошло автоматическую проверку. Однако математик Дж. Л. Нильсен из Университета Канзаса проанализировал код и показал, что построенный ИИ контрпример на самом деле не удовлетворяет исходным условиям гипотезы (условиям ICC и свойства (T)). Проблема заключалась не в логических ошибках проверки, а в том, что формально корректное доказательство относилось к объекту, не соответствующему заявленной формулировке гипотезы. Этот случай подчеркивает ключевой недостаток автоматизированной проверки: системы вроде Lean гарантируют лишь формальную правильность доказательства относительно заданных утверждений, но не могут оценить, соответствуют ли эти утверждения изначальному замыслу исследователя. Таким образом, гипотеза Конна остается открытой, а необходимость содержательной экспертизы результатов ИИ сохраняется.

marsbitВчера 08:47

Математик за 24 часа опроверг доказанную OpenAI гипотезу! «ИИ доказал каждое утверждение, но оно уже не имеет отношения к исходной гипотезе»

marsbitВчера 08:47

Оценка потерь от инцидента с Coldcard возросла до 70 млн долларов после анализа Galaxy

Исследовательское подразделение Galaxy Digital, Galaxy Research, обнаружило 1196 адресов, связанных с инцидентом кошелька Coldcard, в результате которого было потеряно 1082,65 биткойна (примерно $70,2 млн на момент транзакций). Анализ перемещений средств, проведенный 30 июля, показал характерный паттерн атаки: идентичные комиссии и отсутствие выходов для сдачи. Ранее предварительная оценка ущерба составляла около $38 млн. Соучредитель Coinkite Родольфо Новак заявил, что компания берет на себя ответственность за ошибку в прошивке и работает над определением полного масштаба проблемы. Выпущенное обновление устраняет уязвимость, но не защищает сид-фразы, созданные на уязвимой прошивке. Пользователям советуют перевести средства на новый сид.

cointelegraph08/01 09:31

Оценка потерь от инцидента с Coldcard возросла до 70 млн долларов после анализа Galaxy

cointelegraph08/01 09:31

Разработчики Zcash рекомендуют обновить ноды до форка Ironwood

Разработчики Zcash Foundation выпустили критически важное обновление Zebra 6.0.0, настоятельно рекомендовав всем операторам нод обновиться до форка Ironwood. Обновление вводит новый защищённый пул и формат транзакций v6. Это связано с устранённой в июне уязвимостью в старом пуле Orchard, которая теоретически позволяла создавать поддельные ZEC, хотя доказательств эксплуатации не обнаружено. Ironwood использует структуру действий Orchard и систему доказательств Halo2, добавляя отдельное дерево обязательств по обналичиванию и новый пул значений. После активации ноды смогут отслеживать новый пул независимо от Orchard. Ключевой механизм защиты — «турникет» между пулами: Orchard перестанет принимать новые средства, позволяя только вывод, но не более суммы, легально в него введённой. Это обеспечивает публичный контроль над предложением без раскрытия приватных данных. Хардфорк запланирован на 28 июля.

cryptonews.ru07/27 16:37

Разработчики Zcash рекомендуют обновить ноды до форка Ironwood

cryptonews.ru07/27 16:37

AI за 5 секунд нашел 15-летнюю уязвимость в Linux, но также превратил невинного журналиста в подозреваемого в угоне машины

ИИ-инструмент VEGA обнаружил 15-летнюю уязвимость GhostLock (CVE-2026-43499) в ядре Linux, позволяющую получить root-доступ за 5 секунд. Одновременно, система распознавания номеров Flock из-за ошибки ввода данных («03» вместо «34 03 DTM») направила полицию на невиновного журналиста Джоэла Федера. Эти два случая иллюстрируют двойственность ИИ: с одной стороны, он способен находить сложные уязвимости, упущенные человеком, с другой — безжалостно масштабировать человеческие ошибки в критических системах, если отсутствует надлежащий контроль. Ключевой вывод: главная уязвимость в эпоху ИИ может заключаться не в коде, а в необдуманной передаче ему окончательных решений без надежных механизмов проверки.

marsbit07/13 12:27

AI за 5 секунд нашел 15-летнюю уязвимость в Linux, но также превратил невинного журналиста в подозреваемого в угоне машины

marsbit07/13 12:27

OpenAI рушится: в оригинальной работе по Scaling law обнаружен баг, триллионные вычислительные мощности потрачены впустую

Бывший исследователь OpenAI Диого Алмейда заявил, что оригинальная работа OpenAI о Scaling Law содержит критическую ошибку, из-за которой вся индустрия ИИ несколько лет следовала неверному пути. В 2020 году OpenAI утверждала, что при фиксированном бюджете вычислительных мощностей следует увеличивать параметры модели, а не объем данных. Это привело к созданию «раздутых» моделей, таких как GPT-3. Однако в 2022 году DeepMind своей моделью Chinchilla опровергла этот подход, показав, что параметры и данные должны масштабироваться сбалансированно. Алмейда указывает на три ключевые проблемы в первоначальном исследовании OpenAI: 1) все модели обучались на одинаковом и недостаточном для больших моделей объеме данных; 2) использование затухания скорости обучения создавало ложное впечатление, что модели достигли предела; 3) выводы, справедливые для ограниченных условий, были ошибочно приняты за универсальный закон. В результате индустрия, возможно, потратила триллионы операций впустую на обучение неоптимальных моделей. Более того, как отмечают некоторые исследователи, текущие Scaling Law в основном отражают закономерности английского языка, который требует для обучения больше данных, чем другие языки. Это ставит под сомнение универсальность данных законов и указывает на возможность создания более эффективных моделей.

marsbit07/05 23:59

OpenAI рушится: в оригинальной работе по Scaling law обнаружен баг, триллионные вычислительные мощности потрачены впустую

marsbit07/05 23:59

GPT-5.5 внезапно потерял интеллект, мышление обрывается на числе 516, чем сложнее задача, тем хуже результат

Статья сообщает о странном сбое в работе модели GPT-5.5 от OpenAI. Пользователи заметили, что при выполнении сложных задач, особенно в программировании, модель внезапно прерывает генерацию ответа, достигнув 516 токенов в процессе "рассуждения" (thinking tokens). Это приводит к неполным или ошибочным результатам. Статистика, собранная разработчиками с февраля по июнь 2026 года, показывает аномально высокую концентрацию ответов GPT-5.5, обрывающихся ровно на 516 токенах (а также на 1034 и 1552). На эту модель приходится более 80% всех подобных случаев. При этом общий объем "рассуждений" у GPT-5.5 в последние месяцы снизился, что указывает на возможное скрытое ограничение "бюджета мышления" или механизм досрочной остановки для экономии вычислительных ресурсов. Сообщество разработчиков возмущено и требует от OpenAI объяснений: является ли это техническим сбоем, намеренным ограничением или проблемой маршрутизации запросов. Также в статье упоминается другая проблема: стиль общения GPT-5.5 стал излишне формальным, поучительным и склонным к избыточным исправлениям, что ухудшает пользовательский опыт по сравнению с более естественными моделями, такими как Claude. Основной вывод: GPT-5.5 демонстрирует тревожное поведение, когда ради выполнения формальных квот жертвует глубиной анализа и качеством помощи, превращаясь из интеллектуального помощника в ограниченного исполнителя.

marsbit07/05 23:59

GPT-5.5 внезапно потерял интеллект, мышление обрывается на числе 516, чем сложнее задача, тем хуже результат

marsbit07/05 23:59

За год "съесть" твердотельный накопитель: баг с логами Codex раскритиковали как "низкокачественное ПО"

Клиенты OpenAI столкнулись с серьезной проблемой в инструменте Codex: его система ведения логов в течение года может записать на SSD до 640 ТБ данных, что сравнимо с полным ресурсом потребительского накопителя. Проблема, о которой сообщил разработчик на GitHub, заключается в механизме `insert-and-prune` базы данных SQLite (`logs_2.sqlite`). Программа постоянно записывает и немедленно удаляет строки, преимущественно содержащие отладочную информацию уровня `TRACE` (70,7%) и телеметрию (25,3%). Хотя размер файла остается около 1 ГБ, из-за постоянной перезаписи одних и тех же секторов на диск фактически записываются сотни терабайтов. Причиной стала жёсткая настройка логирования по умолчанию на уровень `TRACE`, которая игнорирует переменную окружения `RUST_LOG`. После публикации в Hacker News OpenAI выпустила три патча, которые снизили объем записи примерно на 85%. Однако даже после исправлений нагрузка остается высокой — около 96 ТБ в год. Инцидент вызвал критику в сообществе, где такие продукты называют «slopware» («некачественное ПО»). Пользователи отмечают, что аналогичные проблемы с чрезмерным логированием наблюдаются и у конкурентов, например, Claude Code. Критики указывают на общую тенденцию: современное ПО, часто созданное с помощью ИИ, становится всё более ресурсоёмким, а ошибки маскируются мощным оборудованием.

marsbit07/02 08:52

За год "съесть" твердотельный накопитель: баг с логами Codex раскритиковали как "низкокачественное ПО"

marsbit07/02 08:52

Планка отозвали? Отец квантовой теории споткнулся об алгоритм

В цифровой базе Springer обнаружены две статьи Макса Планка, опубликованные в 1940 и 1942 годах в журнале *Die Naturwissenschaften*, помеченные как «отозванные» («retracted»). Расследование показало, что отзыв не связан с научной ошибкой или недобросовестностью, а является следствием автоматической обработки устаревшими алгоритмами платформы. Вероятно, системы распознали легитимные для той эпохи практики — переиздание речи в разных форматах или использование одинаковых заголовков в дискуссии — как «нарушение авторских прав» или «повторную публикацию» по современным нормам. В результате тексты статей на платформе заменены пустыми страницами, и для доступа к оригиналам необходимо обращаться к сторонним архивам, например, Internet Archive. Этот случай иллюстрирует проблему некритичного применения современных издательских и юридических стандартов к историческим научным материалам в процессе их оцифровки. Автоматизированные системы управления метаданными могут искажать контекст и ограничивать доступ к наследию, что особенно опасно в эпоху ИИ, когда алгоритмы формируют знание на основе подобных «отфильтрованных» данных. Инцидент ставит важные вопросы о сохранении целостности научной памяти в цифровую эпоху, контроле платформ над историческими архивами и рисках утраты контекста при обработке информации машинами.

marsbit06/30 12:45

Планка отозвали? Отец квантовой теории споткнулся об алгоритм

marsbit06/30 12:45

SecondFi представляет двухнедельный план восстановления после взлома кошелька Cardano на $2,4 миллиона

Бывший кошелек Yoroi, теперь известный как SecondFi (разработан Emurgo), столкнулся с инцидентом безопасности, в результате которого из примерно 374 адресов было изъято ADA на сумму $2.4 миллиона. Уязвимость заключалась в ошибке в программном обеспечении для генерации кошельков, что является более серьезной проблемой, чем фишинг или ошибка пользователя. SecondFi представил двухнедельный план восстановления, направленный на возврат средств пострадавшим пользователям. Четкий процесс возмещения важен для ограничения репутационного ущерба и восстановления доверия, поскольку инциденты на уровне программного обеспечения кошельков подрывают основы самодостойности. Для экосистемы Cardano этот случай подчеркивает, что безопасность на пользовательском уровне (инфраструктура кошельков) так же важна для общего доверия, как и безопасность протокола. Хотя сама сеть Cardano не была скомпрометирована, подобные инциденты влияют на восприятие экосистемы в целом. Успех восстановления будет оцениваться по фактическому возврату средств и прозрачности процесса.

bitcoinist06/30 03:31

SecondFi представляет двухнедельный план восстановления после взлома кошелька Cardano на $2,4 миллиона

bitcoinist06/30 03:31

Насколько сложно производить микросхемы? Одна ошибка в операции деления обошлась в 475 миллионов долларов

**Создание микрочипов: сложный процесс, где одна ошибка может стоить миллиардов** Чипы являются фундаментом современных технологий, от искусственного интеллекта до телекоммуникаций. Однако их разработка невероятно сложна, главным образом из-за необходимости добиться успеха с первой попытки. В отличие от программного обеспечения, чип после производства (в процессе, превращающем песок в кремниевые пластины) практически невозможно исправить. Ошибка обходится крайне дорого: например, Intel потратила 475 миллионов долларов на отзыв процессоров Pentium из-за дефекта в блоке операций с плавающей запятой. Исследования показывают, что лишь 24% проектов по созданию чипов успешны с первого раза. Ключевая причина — сложность верификации (проверки) проекта. На эту фазу сейчас приходится до 70% всего цикла разработки. Проблема в «треугольнике невозможного» верификации: высокая производительность, хорошие возможности отладки и низкая стоимость не могут быть достигнуты одновременно. Полная проверка одного ядра CPU современными методами программной симуляции заняла бы 15000 лет. Несмотря на то, что исследования в области верификации трудоемки и менее популярны, чем, например, разработка ИИ, они критически важны. Автор, исследователь из Китайской академии наук, и его команда работают над созданием ускоренной платформы верификации ENCORE на основе программируемых логических интегральных схем (FPGA), чтобы повысить ее эффективность. Параллельно с научной работой автор занимается популяризацией знаний о чипах, считая, что и исследования, и просвещение в этой сложной области — это «трудные, но долгосрочные» и поэтому верные дела, требующие настойчивости.

marsbit06/15 10:32

Насколько сложно производить микросхемы? Одна ошибка в операции деления обошлась в 475 миллионов долларов

marsbit06/15 10:32

活动图片

Популярные категорииright-arrow

Популярные тегиright-arrow

Другоеright-arrow