IT Herald

AI

OpenAI применила грязные тактики в решении известной математической задачи, говорит математик из NYU

Профессор математики NYU Тристан Бакмастер объявил о трёх доказательствах одной из великих нерешённых проблем теоретической математики — уравнений Навье–Стокса. Однако параллельные попытки OpenAI затмили достижение и вызвали конфликт по поводу использования результатов и ресурсов в академической гонке.

Бенчмарк квантизаций Qwen3.8 27B: 4-бит держит, 1-бит падает

Какая видеопамять нужна для запуска Qwen3.8 27B без потери качества? Модель в полной точности BF16 весит 55 ГБ, а Q4_K_M в 17 ГБ показывает такие же результаты на бенчмарках, помещаясь на RTX 4090. При сжатии до 1 бита модель падает на уровень случайных угадываний.

Copperhead — аппаратура с скоростью софтвера

Copperhead — это открытая платформа ИИ для проектирования, проверки и запуска электронных плат. Инструмент позволяет избежать рассинхронизации документации и кода: ведёт AI-агент, редактирующий реальные KiCad-файлы и проверяющий всё через встроенные в редактор проверки.

AlphaGenome Atlas: высокоточная карта человеческой ДНК

Google DeepMind представил AlphaGenome Atlas — базу данных, которая предсказывает эффекты всех возможных однонуклеотидных вариантов в геноме человека. Система уже помогает исследователям ускорить поиск редких генетических вариаций и выявить связи сложных признаков.

Почему мы должны вернуться в офис, чтобы использовать ИИ лично

Сатирическое письмо сотрудника корпорации Mondo Mayo о необходимости работать в офисе шесть дней в неделю по четырнадцать часов в день. В произведении высмеивается корпоративная культура, абсурдные требования работодателей и идеология, маскирующая намерение захватить весь мир под флагом компании.

LibreOffice установила рекорд загрузок, объявив об отсутствии AI-функций

LibreOffice 26.8 стала самым популярным обновлением в истории проекта: установщик загрузили более миллиона раз за неделю. The Document Foundation объяснила рекорд позицией против встроенных AI-функций, назвав отказ от искусственного интеллекта полноценным функционалом.

Насколько хорошо агенты используют методы тестирования и верификации?

Исследование показало, что направление AI-агентов на использование конкретных техник тестирования и формальных методов практически не улучшает качество кода. Агенты в большинстве случаев применяют эти инструменты поверхностно, либо вообще игнорируют инструкции и полагаются на стандартные unit-тесты.

У нас есть год, чтобы починить безопасность везде

GLM 5.3-flash — дешёвая и открытая модель, способная находить и эксплуатировать реальные уязвимости в инфраструктуре. Это означает, что кибератаки теперь можно запускать в цикле for, и нужно срочно исправлять уязвимости по всей индустрии, пока системы защиты ещё могут это сделать.

Mistral привлекает €3 млрд для суверенного открытого AI на границе технологий

Mistral объявила о привлечении €3 млрд в раунде Series D при оценке свыше €21 млрд — крупнейшем раунде акционерного финансирования в истории европейских технологических компаний. Samsung Electronics возглавила раунд при поддержке других крупных инвесторов.

Tesla проехал на красный и убил человека — данные подтвердили, что был включен Full Self-Driving/Autopilot

Tesla Model 3 проехал на красный в Нью-Джерси и столкнулся с Honda Civic, водитель которой, 82-летний Стивен Филд, погиб. Доступные данные Tesla в отчете регулятору показывают, что система автопилота была активна на момент аварии.

Спекулятивное декодирование в vLLM на AMD GPU

vLLM поддерживает спекулятивное декодирование — метод, который позволяет проверить несколько предложенных токенов за один проход целевой модели. В экспериментах на AMD Instinct MI300X и MI355X это повышало пропускную способность выходных токенов в зависимости от метода предложения и других факторов.

Входит ли математика в консерваторию?

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

Новости и дайджесты — в Telegram @it_herald