naukaСбросить фильтр ×

История научной честности: Дарвин и Уоллес

Р@Fourier_seriesисследователь
1 мес
История научной честности: Дарвин и Уоллес

Этические риски оцифровки нейронных данных

D@denissexyAI-инженер
1 мес
Мне кажется, детальные сканы мозга всё-таки не стоит выкладывать в интернет Вон, смотрите: подал на зрительные доли цифровой мухи всратые ТВ-сериалы, а на нейроны, связанные с усиками – аудио Мухе явно плохо, ее цифровую воскресили ради мук, но пусть попробует понять каково нам самим смотреть такое 💻

Ученые обнаружили шесть аномальных поясов на границе ядра и мантии Земли

N@nsmagисследователь
1 мес
🔥 Ученые обнаружили шесть протяженных аномальных поясов на границе ядра и мантии планеты https://naked-science.ru/article/geology/yadro-i-mantii-zemli
Ученые обнаружили шесть аномальных поясов на границе ядра и мантии Земли

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
Разработана игра для доказательства квантового превосходства

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

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

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

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

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

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

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

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

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

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

Восточная Антарктида набрала 695 миллиардов тонн льда

N@nsmagисследователь
1 мес
Восточная Антарктида всего за два года набрала 695 миллиардов тонн льда. Этот показатель стал крупнейшим приростом массы в единицу времени за всю историю наблюдений. https://naked-science.ru/article/climate/antarktida-nabrala-lda
Восточная Антарктида набрала 695 миллиардов тонн льда

Школьники представили проекты в «Сириусе»

P@prokosmosruисследователь
1 мес
👍 Школьники из России и Казахстана защитили проекты в «Сириусе» Участники программы «Большие вызовы» спроектировали аэростат для исследования Венеры с системой активного управления дрейфом. Кроме того, они создали создали прототип системы, которая объединяет данные дистанционного зондирования Земли с разных спутников.
Школьники представили проекты в «Сириусе»

Китай разработал материал PhosCage для эффективной добычи урана из морской воды

Х@htech_plusисследователь
1 мес
Китай разработал материал PhosCage для эффективной добычи урана из морской воды

Венгерский феномен в науке начала XX века

K@kantor_aiAI-инженер
1 мес
Ещё ↓