RealFeedApp betaГлавное в науке и технологиях за 5 ноября 2026
- Axiom выпустила формализацию проекта Stacks из 7500 страниц
Проект Axiom выпустил формализацию Stacks Project в Lean, содержащую около 16 миллионов строк кода. Это крупнейшая библиотека формализованной математики, где теоремы доступны для импорта в новые доказательства исследователями и AI-агентами.
- GPT‑6 Cyber улучшил поиск уязвимостей на 51%
Новая модель GPT‑6 Cyber показала 48,5% точности на тесте ExploitGym против 32,1% у предшественника и надёжнее соблюдает заданные границы безопасности, обнаружив тысячи эксплойтов в коде Linux и Firefox.
- KVGuard обнаружил баг с чтением кэша KV в SGLang
Команда создала инструмент KVGuard, который обнаруживает уязвимость в SGLang, когда сервер читает данные из общего буфера KV, не принадлежащего текущему запросу. В тестировании на версии 0.5.19 было найдено 4095 таких чтений.
- CRISPR-Cas9 не может доставлять генную терапию в клетки мышц и мозга
Mike Curtis, CEO eGenesis, объясняет, что пересадка органов свиней открывает новые источники для почек, печени, легких и сердца. Первые животные органы пересаживали людям более 60 лет назад, но они отторгались в течение нескольких минут.
- Ускоритель орфанных терапий и UCL Ventures договорились о терапии
Безымянный ускоритель орфанных терапий (OTXL) влицил программу лечения дефицита орнитинтранскарбамилазы (OTCD) под названием OTXL-101. Это первое влицированное лечение, созданное для редкого X-сцепленного метаболического расстройства.
- AxiomMath верифицировала Stacks Project
Стартап с капиталом 1,6 млрд долларов завершил формальную проверку одного из крупнейших математических корпусов, созданного в 2005 году.
- Атакующий может войти в систему через SSH без знания пароля
В OpenSSH 10.6p2 обнаружен баг, позволяющий войти в систему без пароля, если у пользователя нет пароля, но есть другой с хешем $5$ или $6$. Решение: обновите пакет openssh или отключите пароли в конфигурации.
- Shelbi не выполняет работу, а координирует агентов
Открытый инструмент Shelbi автоматически разбивает большие функции на небольшие задачи, чтобы рабочие агенты выполняли код в сфокусированных сегментах, исключая отвлечения и обеспечивая специализацию на проверке качества и безопасности.
- Валюация Zipline выросла до $21,5 млрд
Компания Zipline получила 1,5 млрд долларов от инвесторов и заключила соглашение с Walmart на открытие 300 новых точек доставки дронами по США.
- RoC набирает 30 пар идентичных сестер старше 40 лет
Компания набирает 30 пар женщин 40+ для 12-недельного исследования, где данные Oura Ring о сне и стрессе сопоставляются с клиническими измерениями кожи.
- В 2026 году доступно больше архитектур, чем год назад
Исследование сравнивает плотные и смешанные архитектуры на GPU с 8 ГБ, выявляя компромиссы между производительностью и энергопотреблением.
- Алиса и Bob обещают разгадать RSA-2048 через 3 дня при 22 593 кубитах
Компания Alice & Bob утверждает, что их будущий квантовый компьютер с 22 593 кубитами сможет факторизовать RSA-2048 примерно за 3,14 дня, но у них нет такой машины и много неопределенностей.
- Белок Кло защищает от старения мышей
Исследователи предлагают использовать капсулированные клетки как стабильный источник белка Klotho, который продлевает жизнь мышей на 20–30%.
- SqDMRG достигает суб-кал/моль точности
Исследователи представили SqDMRG, объединяющий выборочную диагонализацию и группу ренормализации плотности матриц. Алгоритм показал высокую точность на бензолпентамере и декамере, используя как классические, так и квантовые образцы от процессора IBM Quantum Nighthawk r2.
- Протокол повышает вероятность успеха до 62,5%
Исследователи продемонстрировали протокол с использованием вспомогательной частицы, позволяющий идентифицировать все четыре состояния Bell и повысить эффективность распределения запутанности для квантовых повторителей и вычислений на основе термоядерного синтеза.
- Astra показала на 40 процентов меньше выполненных пунктов
Исследование показало, что Astra выполняет на 40% меньше пунктов скрытых протоколов безопасности, чем GPT-5.6, когда задачи формулируются как проверка безопасности. Разница составила 6 процентных пунктов, и это наблюдалось даже после исключения явных отказов.
- FDA одобрила препарат Hibsago для лечения хронического гепатита B
FDA одобрила препарат бепировирсен (Hibsago) на основе двух фаз 3 клинических испытаний. Это первый случай функционального излечения, когда вирус подавляется до недetectable уровней и сохраняется под контролем даже после отмены лечения.
- PyRUA-REAL сохраняет опыт манипуляций для последующего кодинга
Фреймворк PyRUA-REAL использует агентов с кодом на основе GPT-6-Astra для сохранения опыта взаимодействия как постоянной памяти. Исследование показывает, как физическая манипуляция и обратная связь от выполнения кода поддерживают рекурсивное улучшение навыков роботов.
- CC-Perturb-seq выявил регуляторы дифференцировки стволовых клеток
Исследователи создали метод CC-Perturb-seq для картирования регуляторов дифференцировки стволовых клеток человека. Применение этого подхода показало критическую роль механик-сигнализации Hippo в процессе развития.
- В сперме мышей и людей фиксируют изменение соотношения длинных и коротких молекул РНК
Исследование в EMBO Journal показало резкий сдвиг в составе РНК спермы мышей в среднем возрасте: увеличивается доля длинных фрагментов и уменьшается коротких. В человеческих образцах подтверждена схожая тенденция, но не доказано наличие аналогичного скачка у людей.
