Искусственный интеллект от Гугл решил шесть задач мирового уровня: это более шокирующее достижение, чем золотая медаль Международной математической олимпиады

Главная Блог Новости Искусственный интеллект от Гугл решил шесть задач мирового уровня: это более шокирующее достижение, чем золотая медаль Международной математической олимпиады

Источник: https://eu.36kr.com/en/p/3705022520864896

Математики, держитесь: нейронка от Google щелкает задачи докторского уровня как орешки

Кажется, последний бастион «чистого человеческого разума» всё-таки пал. И ладно бы речь шла об очередных олимпиадах для школьников, но нет — новый ИИ-агент Алетейя (детище DeepMind) замахнулся на святая святых. Система самостоятельно расправилась с 6 из 10 нерешаемых проблем мирового уровня в рамках конкурса «Первое доказательство». Это вам не задачки из учебника, это уровень серьезных докторских диссертаций.

Почему это круче золотой медали?

Тханг Луонг, который рулит направлением «супер-рассуждений» в DeepMind, прямо говорит: этот успех важнее прошлогоднего триумфа на Международной математической олимпиаде. И его можно понять. Олимпиада — это спорт, там всё по правилам и на скорость. А здесь настоящий научный прорыв. Знаете, кто теперь называет ИИ своим «младшим соавтором»? Сам Теренс Тао, величайший математик наших дней. Неплохая рекомендация, правда?

Что именно умеет Алетейя:

Никакой помощи извне: Всё сама — от постановки вопроса до финальной точки в доказательстве. Никто за руку её не водил.
Прощай, головная боль: Она решила задачи, над которыми лучшие умы человечества бились десятилетиями.
Признание профи: Джим Фаулер, автор одной из гипотез, лично подтвердил: решение седьмой задачи верное. А он-то точно знает толк в теме.
Умная самокритика: Чтобы ИИ не «галлюцинировал» (а этим грешат почти все нейронки), внутри Алетейи сидят двое. Один фонтанирует идеями, а второй — скептик-проверяющий — хладнокровно рубит ошибочные пути.

Техника «напролом» и горы вычислений

В основе системы лежит Gemini 3 DeepSync. И это не просто тупой перебор вариантов. Машина училась на своих ошибках, заходила в тупики и начинала заново — и так тысячи раз. Например, на Задачу №7 ушло в 16 раз больше вычислительной мощности, чем на знаменитую задачу Эрдёша. Цифры просто запредельные, но результат того стоил.

Что именно доказали? (Спойлер: всё очень сложно)

Задача	О чем речь?	Что сделал ИИ
№7 (Геометрия и топология)	Искали хитрую группу Ли в фундаментальной группе многообразия.	Доказал, что это невозможно. Причем выдал сразу два способа решения — и через топологию, и через геометрию. Красиво!
№9 (Теория чисел)	Функция Уиттакера для матричных групп.	Подтвердил, что такая функция существует, используя метод от противного.

В чем кайф этих решений?

Ученые в шоке не только от ответов, но и от стиля. Иногда Алетейя действует напролом, выстраивая километровые логические цепи. А иногда — и это самое удивительное — выкидывает лишние усложнения и находит элегантное решение «на пальцах», используя базовые инструменты, о которых люди в пылу академических споров просто забыли. Похоже, мы входим в эру, когда математика превращается из тяжелого ручного труда в нечто совершенно иное. Кто знает, какие тайны вселенной мы откроем завтра с таким «младшим помощником»?