Наука

OpenAI начали публиковать теоремы и доказательства, найденные их моделью Astrai. Первый выложенный результат касается классической задачи аналитической теории чисел о разрыве между соседними простыми числами: Astra опустила константу C до 186, и OpenAI выложили формальное доказательство в Leani на GitHub.

Задача формулируется так: существует ли константа C, такая что бесконечно много пар соседних простых чисел отличаются не более чем на C. Конечность такого разрыва была впервые доказана в 2013 году, после чего константу постепенно снижали усилиями математиков — и теперь в этот процесс включилась ИИ-модель.

ВыводOpenAI выложили результаты на GitHub: репозиторий LongGapsBetweenPrimes и репозиторий PrimeGaps186 с формальным доказательством в Lean

Полный разбор →

Два Telegram-канала — «Сиолошная» и «Denis Sexy IT 🤖» — опубликовали почти идентичный текст-мысленный эксперимент: как может выглядеть утренняя подборка новостей в день 28-летия автора в 2026 году, если экстраполировать текущие темпы развития технологий. Это не реальные события, а спекулятивный сценарий, иллюстрирующий, насколько быстро, по мнению авторов, могут продвинуться беспилотный транспорт, биотех, робототехника, автономные ИИ-агенты, математика и космонавтика.

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

Полный разбор →

Международная команда генетиков научилась извлекать вирусную ДНК прямо со страниц средневековых манускриптов и восстановила геном вируса оспы овец — болезни, косившей стада на протяжении трёх с половиной тысяч лет. Пергаментi делали из шкур овец, коз и коров, а шкура «запоминает», чем животное было больно в момент смерти — поэтому книги оказались неожиданным архивом древних эпидемий.

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

ВыводВирусную ДНК нашли в тысячелетнем Йоркском Евангелии — одном из красивейших иллюминированных манускриптов англосаксонской эпохи

Полный разбор →

Международный эксперимент LUX-ZEPLIN (LZ)i, расположенный на глубине 1,5–1,6 км под землёй в Южной Дакоте, зарегистрировал одно-единственное событие столкновения частицы с ядром атома ксенона, которое не удаётся объяснить известными фоновыми процессами. Сигнал похож на след WIMPi — гипотетической частицы-кандидата на роль тёмной материи, — но статистическая значимость (2,6 сигмаi) далека от порога открытия (5 сигма), поэтому учёные говорят об «обнадёживающем» результате, а не об открытии.

Тёмная материя составляет около 85% всей массы Вселенной, но за почти век поисков её так и не удалось зафиксировать напрямую — она не светится и не отражает свет, а лишь притягивает гравитацией. Если сигнал LZ подтвердится в новых данных, это станет первым прямым доказательством её существования; если нет — станет ещё одним в длинной серии «прорывов», исчезнувших при дальнейшем анализе (как это уже было с экспериментом DAMA/LIBRA).

ВыводДетектор LZ содержит 10 тонн сверхчистого жидкого ксенона; частица тёмной материи, задев ядро атома, порождает вспышку света и облако электронов, которые улавливают датчики.

Полный разбор →