Dark Geometry


Гео и язык канала: Россия, Русский
Категория: Образование


Основой паблик в вк:
https://vk.com/dark_geometry
Чат по матеше:
https://vk.me/join/_Gku332OUB3Y6GxMeoznlAQK0k2TFdNaUnA=
Трактир (общение почти обо всём):
https://vk.me/join/AJQ1d5fJzShXCCCq8GY6CpWc

Связанные каналы  |  Похожие каналы

Гео и язык канала
Россия, Русский
Категория
Образование
Статистика
Фильтр публикаций


 партнёр — ВТБ.

Организационный партнёр — Российский научный фонд и проект Центра педагогического мастерства «В центре науки».

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

#анонс #ТвояКосмическаяВселенная


Есть несколько лекций непосредственно по математике ☝

🚀 Фестиваль НАУКА 0+ в Москве отправит гостей в космическое путешествие!

🛰️ 9–11 октября | Москва | вход свободный

В год 65-летия первого полёта человека в космос главная тема Международного фестиваля НАУКА 0+ — «Твоя космическая Вселенная». Гостей ждёт масштабная космическая программа: история ракетостроения, жизнь на орбите, проекты лунных баз и марсианских миссий.

🔭 Что можно сделать на фестивале

Принять сигнал с орбиты, поставить эксперименты с материалами, поуправлять моделью спутника, узнать, как человек живёт в невесомости, исследовать лунный грунт и выбрать место для будущей марсианской базы.

🌠 Ректор МГУ академик Виктор Садовничий:

«65 лет назад полёт Юрия Гагарина открыл новую страницу в истории человечества. Космос — важнейшая область научных исследований, где встречаются физика, математика, биология, медицина, география, робототехника и искусственный интеллект.
Исследования космоса дают результат здесь, на Земле: они стимулируют развитие медицины, новых материалов, средств связи и навигации, систем наблюдения за планетой, робототехники и обработки данных.
В этом году мы предлагаем посмотреть на космос глазами исследователя — увидеть, как научные идеи превращаются в реальные технологии».

💫 Главная выставка — Фундаментальная библиотека МГУ

Экспозиция построена как путешествие по космическим зонам: от взгляда на Землю с орбиты до подготовки человека к жизни на Луне и Марсе. В ней участвуют все факультеты и НИИ МГУ, Роскосмос (Центр подготовки космонавтов, РКК «Энергия», ВНИИЭМ, «Решетнёв», РКЦ «Прогресс», ЦЭНКИ, НПО «Энергомаш», НПО Лавочкина), ИМБП РАН, ИКИ РАН, МГТУ им. Н.Э. Баумана, Музей «Спутник» МФЮА, «СПУТНИКС», АО «ГЛОНАСС», Московский Планетарий и другие.

📍 Более 100 площадок по всему городу — музеи, вузы, научно-образовательные центры, парки, наукоемкие компании.
Центральные: МГУ имени М.В. Ломоносова, Московский дворец пионеров на Воробьёвых горах, парк «Зарядье».

⚡️ Тематические площадки

Центр профессионального развития молодёжи Московского транспорта, МГТУ имени Баумана, Центральный университет, ИМБП РАН, МВА имени К.И. Скрябина, РНИМУ имени Н.И. Пирогова, Музей «АТОМ» на ВДНХ, РУДН, Музей БИОТЕХ на ВДНХ, РХТУ им. Д.И. Менделеева, Институт океанологии РАН, МГЛУ, МГРИ, Сколтех, Сеченовский университет, ГПНТБ России и другие.

✨ Фестиваль — для всех возрастов: лекции ведущих учёных, интерактивные выставки, научно-популярные спектакли, кинопоказы, мастер-классы и открытые диалоги с исследователями.

НАУКА 0+ — одно из ключевых событий Десятилетия науки и технологий в РФ (инициатива «Наука рядом»). В Москве проект реализуется Правительством Москвы (Департаментом образования и науки города Москвы, Центром педагогического мастерства) совместно с Минобрнауки России и МГУ имени М.В. Ломоносова при поддержке Российской академии наук.

🔗 Программа — на сайте: https://msk.festivalnauki.ru/

Генеральные партнёры — ГК «ФармЭко» и Госкорпорация Росатом. Официальный




Репост из: Математическая свалка Сепы
ИИ помог формализовать доказательство Перельмана

Команда математиков сообщила о полной формализации доказательства гипотезы Пуанкаре на языке 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 проверял их логическую корректность.

Код открыт; авторы заявляют отсутствие пропущенных доказательств. Автоматическая сборка проекта прошла успешно.

🔗 Код и описание проекта · Результат автоматической проверки




Видео недоступно для предпросмотра
Смотреть в Telegram
#meme




Видео недоступно для предпросмотра
Смотреть в Telegram
#meme


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

#meme




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

#news
#полезное
#импортное


#импортное


#импортное


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

#импортное


#meme

1k 0 19 3 13

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


#импортное


Когда поспорил с бро, что докажешь его гипотезу 🤙

#meme


#импортное


#импортное

Показано 20 последних публикаций.