О чём рассказывается в презентации:
Презентация посвящена анализу прорывов в математике за последние десять лет, акцентируя внимание на малоизвестных математиках и их достижениях. Рассматриваются изменения в методологии, переход к формальной верификации и значимость библиотек, таких как Lean, в автоматизации доказательств. Также обсуждаются новые подходы, включая использование искусственного интеллекта в математических исследованиях, что подчеркивает актуальность темы для современного научного сообщества.
Оглавление
Малоизвестные математики: Прорывы последних 10 лет
Математика XXI века переходит от интуиции к формальной верификации
Рост библиотеки Lean подтверждает структурный сдвиг в検証
Джордан Элленберг и новая эра алгебраической комбинаторики
Метод полиномов сокращает разрыв между теорией и вычислениями
Доказательство гипотезы Ленглендса для функциональных полей
Объединение полей — главная тенденция современной математики
AlphaGeometry достигает уровня серебряного призера олимпиад
ИИ как соавтор научных открытий
Анализ динамики математических публикаций по дисциплинам
Переоценка меж-универсальной теории Тайхмюллера
Изменение демографии научных наград
Масштабирование вычислительной проверки гипотез
Ключевые выводы: архитектура математики будущего
Архитектура будущей математики
Спасибо за внимание
