Искусственный интеллект от Гугл решил шесть задач мирового уровня: это более шокирующее достижение, чем золотая медаль Международной математической олимпиады
Математики, держитесь: нейронка от Google щелкает задачи докторского уровня как орешки
Кажется, последний бастион «чистого человеческого разума» всё-таки пал. И ладно бы речь шла об очередных олимпиадах для школьников, но нет — новый ИИ-агент Алетейя (детище DeepMind) замахнулся на святая святых. Система самостоятельно расправилась с 6 из 10 нерешаемых проблем мирового уровня в рамках конкурса «Первое доказательство». Это вам не задачки из учебника, это уровень серьезных докторских диссертаций.
Почему это круче золотой медали?
Тханг Луонг, который рулит направлением «супер-рассуждений» в DeepMind, прямо говорит: этот успех важнее прошлогоднего триумфа на Международной математической олимпиаде. И его можно понять. Олимпиада — это спорт, там всё по правилам и на скорость. А здесь настоящий научный прорыв. Знаете, кто теперь называет ИИ своим «младшим соавтором»? Сам Теренс Тао, величайший математик наших дней. Неплохая рекомендация, правда?
Что именно умеет Алетейя:
Никакой помощи извне: Всё сама — от постановки вопроса до финальной точки в доказательстве. Никто за руку её не водил.
Прощай, головная боль: Она решила задачи, над которыми лучшие умы человечества бились десятилетиями.
Признание профи: Джим Фаулер, автор одной из гипотез, лично подтвердил: решение седьмой задачи верное. А он-то точно знает толк в теме.
Умная самокритика: Чтобы ИИ не «галлюцинировал» (а этим грешат почти все нейронки), внутри Алетейи сидят двое. Один фонтанирует идеями, а второй — скептик-проверяющий — хладнокровно рубит ошибочные пути.
Техника «напролом» и горы вычислений
В основе системы лежит Gemini 3 DeepSync. И это не просто тупой перебор вариантов. Машина училась на своих ошибках, заходила в тупики и начинала заново — и так тысячи раз. Например, на Задачу №7 ушло в 16 раз больше вычислительной мощности, чем на знаменитую задачу Эрдёша. Цифры просто запредельные, но результат того стоил.
Что именно доказали? (Спойлер: всё очень сложно)
Задача
О чем речь?
Что сделал ИИ
№7 (Геометрия и топология)
Искали хитрую группу Ли в фундаментальной группе многообразия.
Доказал, что это невозможно. Причем выдал сразу два способа решения — и через топологию, и через геометрию. Красиво!
№9 (Теория чисел)
Функция Уиттакера для матричных групп.
Подтвердил, что такая функция существует, используя метод от противного.
В чем кайф этих решений?
Ученые в шоке не только от ответов, но и от стиля. Иногда Алетейя действует напролом, выстраивая километровые логические цепи. А иногда — и это самое удивительное — выкидывает лишние усложнения и находит элегантное решение «на пальцах», используя базовые инструменты, о которых люди в пылу академических споров просто забыли. Похоже, мы входим в эру, когда математика превращается из тяжелого ручного труда в нечто совершенно иное. Кто знает, какие тайны вселенной мы откроем завтра с таким «младшим помощником»?
