Экзопланетой считают тело массой не более 13 масс Юпитера. Для ориентира: Юпитер в 317,8 раза тяжелее Земли.
Наука
Claude автономно формализовал доказательство Великой теоремы Ферма за 11 дней
Anthropic объявила, что её модель Claude автономно перевела доказательство Великой теоремы Ферма в проверяемый компьютером код на языке Leani — весь процесс занял 11 дней, хотя ранее на эту работу отводили около 10 лет труда математического сообщества. По утверждению Anthropic, это первое полное доказательство теоремы, которое целиком проверено компьютером.
Значимость события в том, что формализация современной сложной математики до сих пор считалась крайне трудоёмкой ручной работой, требующей лет усилий многих специалистов. Успех с теоремой Ферма показывает, что инструменты автоформализации на базе ИИ достигли уровня, позволяющего браться за задачи такого масштаба, и намекает, что подобный подход применим к другим сложным доказательствам.
ВыводПьер Ферма записал утверждение теоремы около 1637 года на полях книги, заявив, что нашёл доказательство, но не оставил места, чтобы его записать
В Испании обнаружен крупнейший представитель редкого вида ихтиозавров

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

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

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

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

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

Стимуляция блуждающего нерва после тренировки улучшает обучение
Инженеры создали робота, прыгающего под воздействием инфракрасного света
36 вопросов для создания близости: эксперимент Артура Арона
Интерпретации квантовой механики: почему ученые спорят о реальности

Пауки используют воздушные потоки для перемещения
Приливные силы Луны и Солнца влияют на активность грязевых вулканов
Больше всего извержений пришлось на 7–10-й день после новолуния и полнолуния, а в течение года — на март, июнь и август–октябрь.Луна, Солнце и изменения вращения Земли не запускают извержения, но могут сдвигать момент, когда накопившееся давление вытолкнет грязь и газ на поверхность.

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

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

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

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

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