Dark Geometry

 партнёр — ВТБ. Организационный партнёр — Российский научный фонд и проект Центра педагогического мастерства «В центре науки». Генеральные информационные партнёры — ТАСС, Российская газета, RT, Lenta. ru, Газета. ru и Mash Lab. Информационную поддержку оказывают TechInsider, Научная Россия, Наука Mail, Монокль, Поиск, Думай, Наука и Жизнь, Энергия +, Indicator, InScience, OSD / Отдых с детьми, ВЕДЫ. #анонс #ТвояКосмическаяВселенная

Есть несколько лекций непосредственно по математике ☝ 🚀 Фестиваль НАУКА 0+ в Москве отправит гостей в космическое путешествие! 🛰️ 9–11 октября | Москва | вход свободный В год 65-летия первого полёта человека в космос главная тема Международного фестиваля НАУКА 0+ — «Твоя космическая Вселенная». Гостей ждёт масштабная космическая программа: история ракетостроения, жизнь на орбите, проекты лунных баз и марсианских миссий. 🔭 Что можно сделать на фестивале Принять сигнал с орбиты, поставить эксперименты с материалами, поуправлять моделью спутника, узнать, как человек живёт в невесомости, исследовать лунный грунт и выбрать место для будущей марсианской базы. 🌠 Ректор МГУ академик Виктор Садовничий: «65 лет назад полёт Юрия Гагарина открыл новую страницу в истории человечества. Космос — важнейшая область научных исследований, где встречаются физика, математика, биология, медицина, география, робототехника и искусственный интеллект. Исследования космоса дают результат здесь, на Земле: они стимулируют развитие медицины, новых материалов, средств связи и навигации, систем наблюдения за планетой, робототехники и обработки данных. В этом году мы предлагаем посмотреть на космос глазами исследователя — увидеть, как научные идеи превращаются в реальные технологии». 💫 Главная выставка — Фундаментальная библиотека МГУ Экспозиция построена как путешествие по космическим зонам: от взгляда на Землю с орбиты до подготовки человека к жизни на Луне и Марсе. В ней участвуют все факультеты и НИИ МГУ, Роскосмос (Центр подготовки космонавтов, РКК «Энергия», ВНИИЭМ, «Решетнёв», РКЦ «Прогресс», ЦЭНКИ, НПО «Энергомаш», НПО Лавочкина), ИМБП РАН, ИКИ РАН, МГТУ им. Н.Э. Баумана, Музей «Спутник» МФЮА, «СПУТНИКС», АО «ГЛОНАСС», Московский Планетарий и другие. 📍 Более 100 площадок по всему городу — музеи, вузы, научно-образовательные центры, парки, наукоемкие компании. Центральные: МГУ имени М.В. Ломоносова, Московский дворец пионеров на Воробьёвых горах, парк «Зарядье». ⚡️ Тематические площадки Центр профессионального развития молодёжи Московского транспорта, МГТУ имени Баумана, Центральный университет, ИМБП РАН, МВА имени К.И. Скрябина, РНИМУ имени Н.И. Пирогова, Музей «АТОМ» на ВДНХ, РУДН, Музей БИОТЕХ на ВДНХ, РХТУ им. Д.И. Менделеева, Институт океанологии РАН, МГЛУ, МГРИ, Сколтех, Сеченовский университет, ГПНТБ России и другие. ✨ Фестиваль — для всех возрастов: лекции ведущих учёных, интерактивные выставки, научно-популярные спектакли, кинопоказы, мастер-классы и открытые диалоги с исследователями. НАУКА 0+ — одно из ключевых событий Десятилетия науки и технологий в РФ (инициатива «Наука рядом»). В Москве проект реализуется Правительством Москвы (Департаментом образования и науки города Москвы, Центром педагогического мастерства) совместно с Минобрнауки России и МГУ имени М.В. Ломоносова при поддержке Российской академии наук. 🔗 Программа — на сайте: https://msk.festivalnauki.ru/ Генеральные партнёры — ГК «ФармЭко» и Госкорпорация Росатом. Официальный

 Москве — на сайте: msk.festivalnauki.ru/ Сохраняйте программу и приходите исследовать свою космическую Вселенную! #ТвояКосмическаяВселенная #анонс

Есть несколько лекций непосредственно по математике ☝ 🚀 Большой космический лекторий в Шуваловском корпусе МГУ: программа на 10–11 октября 📍 Шуваловский корпус МГУ (Ломоносовский просп., 27, к. 4) От жизни на МКС и освоения других планет до искусственного интеллекта, биоинженерии и тайн мозга — отправляемся навстречу открытиям на Фестивале НАУКА 0+! Собрали программу на оба дня в одном посте. Выбирайте темы, переходите по ссылкам за подробностями и составляйте свой маршрут по лекториям. 🪐 10 октября, суббота Лекторий «Архитектура здоровья» В1 | 11:00–16:10 Биоинженерия, иммунотерапия и фармацевтика: как меняется медицина будущего. Трек при поддержке ГК «ФармЭко». Лекторий «Венера» В2 | 11:00–17:45 Жизнь на МКС, технологии освоения космоса, эксклюзивный телемост с экипажем и встреча с космонавтом. Лекторий «Луна» В3 | 10:30–18:00 Цифровые открытия, космические мечты и взгляд на будущее человека во Вселенной через технологии и культуру. Дискуссионная площадка «ПЕРСПЕКТИВА ОТКРЫТИЙ» В5 | 11:00–16:00 Генетика, химия и квантовые технологии: обсуждаем со СберУниверситетом, как исследования становятся технологиями завтрашнего дня. Лекторий «Юпитер» Д1 | 11:00–17:45 Орбитальные технологии, квантовая физика и культура — и их влияние на нашу повседневную жизнь. Лекторий «Сатурн» Д2 | 11:00–17:45 Детонационное горение в авиации, карты для освоения астероидов и загадочные паразиты Mesozoa. Лекторий «Уран» Д4 | 11:00–17:45 История ИИ, цифровые двойники для Роскосмоса, нейросети в поиске новой физики и влияние цифровых медиа на мозг. Лекторий «Нептун» Д5 | 11:00–18:00 Спутниковые «созвездия», лазерная связь, лучистое отопление и защита других миров от земных микробов. 🌌 11 октября, воскресенье Лекторий «Меркурий» В1 | 11:00–17:45 Орбитальные технологии в быту, память магнитного поля Земли и связь нашей планеты со Вселенной. Лекторий «Венера» В2 | 11:00–18:00 Вселенная мозга: эволюция сознания, живой разум и ИИ, технологии считывания мыслей. Лекторий «Луна» В3 | 11:00–17:40 Нейросети и русская грамматика, создание лекарств с помощью света, связь алгебры и геометрии. Лекторий «Земля» В4 | 11:00–16:45 Тайны космоса, скрытые миры океанского дна и металлы, связывающие океан с современными технологиями. Лекторий «Марс» В5 | 11:00–17:45 Геометрия улиц и наше счастье, подготовка к полётам в виртуальной реальности, история и агроэкономика. Лекторий «Юпитер» Д1 | 11:00–16:45 Роботы — исследователи Земли и космоса, нейросети и сновидения, искусственный интеллект в научном поиске. Лекторий «Сатурн» Д2 | 11:00–17:45 Бактерии в невесомости, растения против городского перегрева и подземная «фабрика» нефти. Лекторий «Уран» Д4 | 11:00–15:45 Экономика древних обществ, инженерные решения Сергея Королёва, перевод, природа убеждений и научпоп в Mash Lab. Лекторий «Нептун» Д5 | 11:00–17:45 Космические обсерватории, микрофоссилии, почвосберегающие технологии, геоИИ и подземные биотехнологии. ✨ Вход свободный. 🔗 Подробная программа Фестиваля НАУКА 0+ в

На связи Parrotlet Делаю новую движуху: https://t.me/+Plw3vcyP59I1YzEy Приходите во вторник

ИИ помог формализовать доказательство Перельмана Команда математиков сообщила о полной формализации доказательства гипотезы Пуанкаре на языке Lean — при помощи ИИ. Результат, полученный Григорием Перельманом в 2002–2003 годах, перевели в форму, позволяющую компьютеру проверять каждый логический шаг. За проектом стоит межвузовская команда из США: Bennett Chow (University of California San Diego) Yuan Liao (University of California San Diego) Ziyang Qin (Cornell University, Math+AI Lab) Ayush Khaitan (Princeton University, Princeton Language and Intelligence) Общая тема этой коллаборации — геометрия и автоматизация математических доказательств. Они создают библиотеку, в которой результаты современной математики доступны для машинной проверки и дальнейшего использования. Математики определяли стратегию и проверяли формулировки, ИИ помогал писать формальные доказательства, а Lean проверял их логическую корректность. Код открыт; авторы заявляют отсутствие пропущенных доказательств. Автоматическая сборка проекта прошла успешно. 🔗 Код и описание проекта · Результат автоматической проверки

 #meme https://vk.com/video-155010225_456239137

 #meme https://vk.com/video-155010225_456239138

В связи с недавними событиями... #meme

Появилась новая книга "Дифференциальная геометрия и теория групп": https://link.springer.com/book/10.1007/978-3-032-27518-9 Помимо чистой математики описаны некоторые приложения к физике. Например, топологические дефекты, нарушение симметрии, решетки и упаковки. #news #полезное #импортное

#импортное

#импортное

Признайтесь, купили бы? #импортное

#meme

#импортное #сlassic

#импортное