Наука

Число подтверждённых экзопланет превысило 6000

P@prokosmosruисследователь
1 мес
🪐 Число подтверждённых экзопланет в Млечном Пути превысило 6000 Ещё более 8 тысяч небесных тел ждут подтверждения. Об этом рассказала сотрудница отдела физики планет Института космических исследований РАН Владислава Ананьева.
Экзопланетой считают тело массой не более 13 масс Юпитера. Для ориентира: Юпитер в 317,8 раза тяжелее Земли.

Claude автономно формализовал доказательство Великой теоремы Ферма за 11 дней

Anthropic объявила, что её модель Claude автономно перевела доказательство Великой теоремы Ферма в проверяемый компьютером код на языке Leani — весь процесс занял 11 дней, хотя ранее на эту работу отводили около 10 лет труда математического сообщества. По утверждению Anthropic, это первое полное доказательство теоремы, которое целиком проверено компьютером.

Значимость события в том, что формализация современной сложной математики до сих пор считалась крайне трудоёмкой ручной работой, требующей лет усилий многих специалистов. Успех с теоремой Ферма показывает, что инструменты автоформализации на базе ИИ достигли уровня, позволяющего браться за задачи такого масштаба, и намекает, что подобный подход применим к другим сложным доказательствам.

ВыводПьер Ферма записал утверждение теоремы около 1637 года на полях книги, заявив, что нашёл доказательство, но не оставил места, чтобы его записать

13 млн строкобъём кода на Lean, написанного Claude
11 днейвремя автономной формализации
29 500доказанных промежуточных лемм

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

В Испании обнаружен крупнейший представитель редкого вида ихтиозавров

N@nsmagисследователь
1 мес
Крупнейшего представителя редкого вида ихтиозавров нашли в Испании https://naked-science.ru/article/paleontology/ihtiozavr-ispania
В Испании обнаружен крупнейший представитель редкого вида ихтиозавров

Началась первая магнитная буря осени

P@prokosmosruисследователь
1 мес
💥 На Земле началась первая магнитная буря осени Силу явления пока оценивают как слабую — это первый уровень по пятибалльной шкале. Геомагнитная обстановка успокоится не раньше чем через 2 дня.
Началась первая магнитная буря осени

Физики впервые подтвердили принцип эквивалентности Эйнштейна для квантового объекта

Международная группа учёных, в которую вошёл нобелевский лауреат Роджер Пенроуз, впервые экспериментально наблюдала предсказанный гравитационный эффект на падающем квантовом объекте — атоме рубидия, охлаждённом почти до абсолютного нуля. Эксперимент показал, что принцип эквивалентности Эйнштейнаi, лежащий в основе общей теории относительности, работает и на квантовом уровне.

Это важно, потому что общая теория относительностиi и квантовая механика до сих пор считаются несовместимыми — единой теории, объединяющей их, у физиков нет. Наблюдение показывает, что хотя бы один из ключевых принципов ОТО распространяется и на квантовый мир, что может стать опорной точкой для будущих попыток такого объединения.

ВыводОбъект наблюдения — атом рубидия, охлаждённый до температуры, близкой к абсолютному нулю

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

Разработана игра для доказательства квантового превосходства

Х@htech_plusисследователь
1 мес
Разработана простая игра для теста на квантовое превосходство Группа зарубежных исследователей разработала игру, в которой квантовый компьютер должен дать правильный ответ, на миг взглянув на список из сотен миллиардов вариантов. В сотнях раундов он справлялся с этой задачей почти идеально, тогда как обычный компьютер при таком же мгновенном взгляде оказывался не лучше броска монеты. Впервые квантовое превосходство над классическими компьютерами доказано без каких-либо неподтвержденных предположений. https://hightech.plus/2026/09/08/razrabotana-prostaya-igra-dlya-testa-na-kvantovoe-prevoshodstvo
Разработана игра для доказательства квантового превосходства

Дайджест технологических новостей: Яндекс Go, Windows, Asahi Linux и другие

Х@habr_comмедиа / агрегатор
1 мес
⚡ Новости к этому часу
🔥 бустануть канал 😎
🚕 «Яндекс Go» предложит пассажирам ждать такси 30-40 минут ради скидки 👩‍💻 Хак реестра Windows для поддержки uBlock Origin и других расширений MV2 будет работать до конца апреля 2027 года 🚀 Немецкий стартап выполнил первый успешный запуск ракеты в космос из Европы [IMG] 🍏 Asahi Linux добавила поддержку компьютеров Apple на M3 📖 Фамилию гонщика Шумахера включили в орфографический словарь 🗺 Команда Google использовала Google Maps для перенаправления части водителей в 10 городах США #новости
Дайджест технологических новостей: Яндекс Go, Windows, Asahi Linux и другие

В России разработали технологию получения особо чистого германия

N@nsmagисследователь
1 мес
В России разработали технологию получения особо чистого германия для детекторов гамма-излучения https://naked-science.ru/article/column/osobo-chist-germaniy
В России разработали технологию получения особо чистого германия

Новая гипотеза о природе затемнений звезды Табби

N@nsmagисследователь
1 мес
Звезду Табби все помнят? С 2011 года астрономы наблюдают многочисленные и притом нерегулярные затемнения небольшой звезды в созвездии Лебедь — KIC 8462852, известной как звезда Табеты Бояджян, или просто звезда Табби. Ранее считали, что перед ней мелькают облака пыли, обломки комет или планетезимали — «зародыши» формирующихся миров. Теперь астрофизик и руководитель проекта строительства нового солнечного телескопа Эктор Сокас-Наварро предложил совершенно новое объяснение нерегулярным затемнениям данной звезды. https://naked-science.ru/article/astronomy/the-dimmings-of-boyajians-star
Новая гипотеза о природе затемнений звезды Табби

Стимуляция блуждающего нерва после тренировки улучшает обучение

В@vselennayaplusисследователь
1 мес

Инженеры создали робота, прыгающего под воздействием инфракрасного света

D@droidergramавтор про «tech»
1 мес

36 вопросов для создания близости: эксперимент Артура Арона

Р@Fourier_seriesисследователь
1 мес

Интерпретации квантовой механики: почему ученые спорят о реальности

⚠@inznanисследователь
1 мес
Интерпретации квантовой механики: почему ученые спорят о реальности

Пауки используют воздушные потоки для перемещения

Р@remediaгеймдев
1 мес
Доброе утро, Рестарт! Пауки, оказывается, умеют ЛЕТАТЬ. Ну почти. Некоторые виды используют так называемый «воздушный шар»: забираются повыше, выпускают тончайшие нити паутины и позволяют ветру унести себя на новое место. Так пауки могут преодолевать довольно большие расстояния, вообще не касаясь земли. Человек Паук-паук🤙

Приливные силы Луны и Солнца влияют на активность грязевых вулканов

P@prokosmosruисследователь
1 мес
🌋 Движение Земли, Луны и Солнца влияет на активность грязевых вулканов Учёные ДВО РАН изучили 607 извержений за два столетия и нашли пики, совпадающие с приливным воздействием.
Больше всего извержений пришлось на 7–10-й день после новолуния и полнолуния, а в течение года — на март, июнь и август–октябрь.
Луна, Солнце и изменения вращения Земли не запускают извержения, но могут сдвигать момент, когда накопившееся давление вытолкнет грязь и газ на поверхность.
Приливные силы Луны и Солнца влияют на активность грязевых вулканов

Псевдонаучные теории Юрия Рыбникова и его последователей

Д@dimaOGOgiaAI-инженер
1 мес
Среди всех реакций мне больше всего понравилась самая шизоидная Помните про счет древних русов? Автор этих и других теорий – Юрий Рыбников, очень мемный чел. Он так же создатель "периодической таблицы электроатомов" РУСов (на картинке). Так вот, у него объявился ученик, который ведет блог на VC. Этот ученик заявил, что он 1) Решил несколько задач тысячелетия с помощью таблицы электроатомов русов 2) Запатентовал какую-то уникальную математическую формулу, которая должна лежать в основе исследований всех AI неолаб и фронтир лаб. Я еще со времен физтеха люблю таких дедов и псевдонауку
Псевдонаучные теории Юрия Рыбникова и его последователей

Новая технология ускоряет создание жаропрочных материалов

Х@htech_plusисследователь
1 мес
Новая технология создает жаропрочные материалы за дни вместо месяцев Новая технология вместо множества медленных циклов пропитки и пиролиза использует однократное уплотнение под действием электрического поля и тока. Хотя разработка находится на ранней стадии, она обещает упростить производство материалов для теплозащиты гиперзвуковых аппаратов, ракетных сопел и космических зондов. https://hightech.plus/2026/09/07/novaya-tehnologiya-sozdaet-zharoprochnie-materiali-za-dni-a-ne-mesyaci
Новая технология ускоряет создание жаропрочных материалов

Обнаружен новый вирус ALTNV, переносимый клещами

В@vselennayaplusисследователь
1 мес

Разработан перерабатываемый огнестойкий композит

Х@htech_plusисследователь
1 мес
Ученые разработали огнестойкий композит, который можно перерабатывать Исследователи швейцарской лаборатории материаловедения и технологий Empa разработали эпоксидную систему, которая позволяет после окончания срока службы разделить легкий композит на отдельные компоненты. При этом материал сохраняет огнестойкость и механическую прочность, необходимые для использования в самолетах и поездах. Технология может упростить переработку таких конструкций и вернуть в производство ценные углеродные и арамидные материалы. https://hightech.plus/2026/09/07/uchenie-razrabotali-ognestoikii-kompozit-kotorii-mozhno-pererabativat
Разработан перерабатываемый огнестойкий композит

Геннадий Борисов открыл новый стометровый астероид у орбиты Марса

P@prokosmosruисследователь
1 мес
🔭 Российский астроном Геннадий Борисов открыл новый стометровый астероид у орбиты Марса Объект движется по вытянутой орбит: сначала приближается к Красной планете, а затем уходит в главный пояс астероидов между Марсом и Юпитером. Земле он не угрожает. Всего крымский астроном открыл более 150 астероидов и 16 комет — он входит в число самых результативных астрономов-любителей мира.
Геннадий Борисов открыл новый стометровый астероид у орбиты Марса

Isar Aerospace впервые вывела частную европейскую ракету Spectrum на орбиту

5 сентября немецкий стартап Isar Aerospace успешно запустил ракету-носитель Spectrumi с космодрома Андойя в Норвегии — это первый в истории успешный орбитальный запуск частной европейской компании с территории континентальной Европы. Ракета вывела на низкую околоземную орбиту пять малых тестовых спутников и статичный эксперимент; второй импульс и выход на круговую орбиту прошли успешно, все аппараты штатно отделились от второй ступени.

Запуск важен как символический и практический прорыв: Европа получила независимый от Ariane коммерческий доступ в космос, а Spectrum стала первой ракетой на метановом топливе, достигшей орбиты. Попытка была второй для компании — первый полёт в марте прошлого года закончился падением ракеты в море вскоре после старта.

165 из 325запуски SpaceX/мир в 2025 году
€200 млнконтракт Isar с ESA
60%доля оборонного спроса на пуски Isar

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

РНК-полимераза научилась считывать восьмибуквенный генетический код

Х@htech_plusисследователь
1 мес
РНК-полимераза научилась считывать восьмибуквенный генетический код

Как форма ушной раковины влияет на локализацию звука

Р@Fourier_seriesисследователь
1 мес

Ожидаются мощные корональные выбросы массы 8-9 сентября

P@prokosmosruисследователь
1 мес
🔥 Новая волна солнечной плазмы достигнет Земли Минимум два мощных корональных выброса массы ожидаются 8 и 9 сентября. Скорость солнечного ветра может достичь 700 км/с — вдвое выше текущих значений. GIF: Лаборатория солнечной астрономии ИКИ РАН 🌟 Pro Космос в МАКС | ВК | ОК
Ещё ↓