Main menu

AlphaEvolve: ИИ решил задачу упаковки (2025)

В мае 2025 года Google DeepMind представил AlphaEvolve — систему, которая превзошла человеческие результаты в 3D bin packing (упаковке контейнеров). Алгоритм находит оптимальные решения для логистических задач, комбинируя обучение с подкреплением и символическую регрессию.

Это достижение знаменует революцию в прикладной математике, демонстрируя, как ИИ может находить новые эвристики, недоступные человеческой интуиции. Технология уже внедряется в облачные сервисы для оптимизации ресурсов.

Подробнее

Доказательство геометрической гипотезы Ленглендса (2024)

В мае 2024 года команда из 9 математиков, включая Петера Шольце, завершила монументальное 800-страничное доказательство геометрической гипотезы Ленглендса. Это достижение называют "священным граалем" алгебраической геометрии и теории чисел, соединяющим топологию, симметрии и L-функции.

Работа объединяет разрозненные области математики в единую теорию. За этот вклад Деннис Гайтсгори получил Breakthrough Prize 2025 ($3M). Результат открывает новые горизонты в квантовой теории поля и теории струн.

Подробнее

Запуск AI-института Карнеги-Меллон для математических открытий

В августе 2025 года Университет Карнеги-Меллон совместно с NSF запустил институт стоимостью $50M для ускорения математических открытий с помощью ИИ. Фокус направлен на использование машинного обучения для доказательства теорем и генерации гипотез в алгебраической геометрии и комбинаторике.

Институт интегрирует символическую регрессию с формальной верификацией. Уже получены первые результаты в оптимизации и решены три открытые проблемы. Это революционизирует рутинные части исследований, позволяя математикам сосредоточиться на концептуальных задачах.

Подробнее

Решение гипотезы нулевой высоты Брауэра (2024)

В октябре 2024 года профессор Фам Тиеп из Университета Ратгерса решил две фундаментальные проблемы: гипотезу нулевой высоты Ричарда Брауэра (1955) и вопрос о неисчезающих коэффициентах. Эти вопросы стояли десятилетиями в алгебраической теории чисел и теории представлений конечных групп.

Тиеп применил модулярные формы, деревья Брауэра и p-адические методы. Доказательство занимает более 100 страниц. Результаты уточняют структуру простых групп и имеют приложения в симметричной криптографии и физике частиц (симметрии SU(3)). ScienceDaily назвала это "прорывом века в алгебре".

Подробнее

Соц. сети