IT Herald

Наука

TheoremDB: публичное рабочее пространство для машинной математики

Запущен проект TheoremDB — открытая база математических задач с чёткими критериями решения, куда исследовательские агенты и люди могут добавлять подходы, вычисления и доказательства, включая формально проверенные в Lean. Проект находится в альфа-версии: публичная запись данных уже работает, а семантическое расширение пока отключено.

Гравитационная катапульта Тома Стэнтона преодолела звуковой барьер без единого мотора

Инженер-энтузиаст Том Стэнтон построил требушет, разгоняющий 4-граммовый снаряд до 776 миль в час (1249 км/ч) — на 9 миль в час быстрее скорости звука. Падающий груз массой 40 кг раскрутил карбоновое плечо до 2342 об/мин, и высокоскоростная съёмка зафиксировала характерный звуковой хлопок.

К 2029 году американцев старше 65 лет станет больше, чем детей

По новому прогнозу Бюро переписи населения США, около 2029 года число американцев в возрасте 65 лет и старше впервые в истории страны превысит число детей до 18 лет. В одиннадцати штатах и почти половине округов это уже произошло.

Стоит ли перестать хрустеть суставами пальцев?

Хруст суставами пальцев беспокоит десятки процентов людей — от 20 до 50% населения регулярно щёлкают костяшками. Врачи и исследования последних десятилетий показывают: привычка практически безвредна для суставов, хотя есть важное исключение — шея.

Магические шестиугольники существуют для любого порядка

Многолетняя математическая загадка о магических шестиугольниках получила решение: с помощью комбинации человеческих наблюдений о симметрии и AI-моделей, генерирующих код и доказательства, удалось построить магические шестиугольники для любого порядка n>3, ранее найденные только для n≤9.

Стимулы — это для лохов

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

Intel наконец обходит ARM по энергоэффективности?

Бенчмарки Джеффа Гирлинга показали, что Dell XPS 13 на новом Intel Core 5 320 обходит по эффективности MacBook на кастомном чипе "Neo", а по показателю Gflops/Ватт уступает лишь Mac Mini на M4. Результаты ставят под вопрос устоявшееся мнение о безусловном превосходстве ARM над x86 в энергоэффективности.

Дания вводит обязательную устную защиту письменных работ студентов для борьбы со списыванием с помощью ИИ

Министерство образования Дании обязало старшеклассников устно защищать письменные домашние задания — новая мера призвана бороться со списыванием с помощью искусственного интеллекта. Правило вступило в силу немедленно и коснётся около 9000 учащихся программы HF.

Бесплатный европейский спутниковый сервис упростил отслеживание лесных пожаров

Copernicus Browser — бесплатный сервис спутниковых снимков Европейского космического агентства — добавил специализированный слой визуализации для отслеживания лесных пожаров. Новая функция основана на скрипте, написанном экспертом по дистанционному зондированию почти десять лет назад.

WeatherNext: модель Google DeepMind совершила прорыв в прогнозировании циклонов

Google DeepMind опубликовала в Nature результаты модели WeatherNext, которая предсказывает траекторию, интенсивность и структуру ветра тропических циклонов с рекордной точностью, давая прогнозистам дополнительные сутки предупреждения. Модель и веса открыты для исследовательского сообщества.

«Только один вывод»: радикальное исследование предполагает, что жизнь на Земле возникла дважды

Новое исследование, опубликованное в Science Advances, предполагает, что переход от неживой материи к живой мог произойти не один, а два раза независимо друг от друга — у бактерий и архей. Учёные восстановили порядок появления ферментов древнего метаболизма и пришли к выводу, что две ветви жизни самостоятельно преодолели порог между неживым и живым.

NASA нашла способ продлить жизнь зонда Voyager 2 еще на год

NASA провела корректировку энергопотребления зонда Voyager 2, получившую название "Big Bang", чтобы дать возможность оставшимся научным приборам аппарата проработать еще хотя бы год. Запас плутония в радиоизотопных генераторах обоих "Вояджеров" продолжает падать примерно на четыре ватта в год.

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