Интересные Факты, Космос, Наука, История, Животные, Человек, Мир

Модели OpenAI и Anthropic опровергли гипотезу экспоненциального времени (ETH), согласно которой задача 3-SAT для булевых формул не может быть решена быстрее экспоненциального времени от числа переменных. Обе компании опубликовали формализованные на языке Lean доказательства опровержения. Доказательство OpenAI дополнительно позволяет предсказывать число решений булевых формул за субэкспоненциальное время. Результаты пока не прошли независимую проверку: сотрудники OpenAI передали материалы группе специалистов по теории сложности, в которую вошли авторы исходной формулировки гипотезы. 🔬 Факты

Немецкие ученые, изучавшие бонобо на станции Луи-Котале, обнаружили, что самки охотятся чаще самцов в обоих наблюдаемых сообществах. В одной группе самки втрое чаще добывают копытных, но реже охотятся на древесных приматов, а во второй превосходят самцов по обоим видам добычи. Стратегии охоты самих сообществ также различаются: одно специализируется на обезьян, а другое — на копытных. 🔬 Факты

У берегов Аргентины на глубине 250–257 метров запечатлели медузу Stygiomedusa gigantea длиной около шести метров. Её сопровождало 19 молодых рыб Centrolophus niger. Вероятно, рыбы держались рядом с медузой для защиты от хищников, а также могли питаться остатками её добычи, очищать её от паразитов и даже обкусывать ткани. Такая ассоциация между этими двумя видами зафиксирована впервые, хотя ранее S. gigantea встречалась с другими рыбами, а C. niger — с другими медузами. 🔬 Факты

Кандидат биологических наук Анна Ячменникова (ИПЭЕ РАН) рассказала о программе восстановления переднеазиатского леопарда на Кавказе. Ученые готовят животных к жизни в дикой природе: учат их охотиться на живую добычу и избегать встреч с людьми, используя для контроля фотоловушки и спутниковые ошейники. Ключевым фактором выживания оказывается работа с местными жителями — без их поддержки даже хорошо подготовленные хищники гибнут. В интервью также обсуждается опыт помощи в сохранении амурского тигра в Китае и различия в «характерах» и темпераментах отдельных особей, которые учитываются при выборе кандидатов на выпуск. Научный подход позволяет возвращать редких крупных кошек в исторические ареалы обитания. 🔬 Факты

Учёные отправили мышей на орбиту на спутнике «Бион-М1» и обнаружили, что невесомость бьёт по дофаминовой системе. Подробности — в статье «Тайная жизнь рецепторов: о серотонине, мышах на орбите и слезах над ПЦР». 🔬 Факты

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