Искусственный интеллект может стать лучшим молодым математиком: программа примет участие в Международной математической олимпиаде

Задачи на математической олимпиаде относительно просты и не требуют какой-то сложной математики, даже алгебра считается вне пределов соревнования. Однако при этом такие проблемы являются очень сложными.

Программные алгоритмы уже доказали, что они лучше человека как в настольных и компьютерных играх, юриспруденции, так и в воздушном бою истребителей. На очереди-золотая медаль в математике, которую искусственный интеллект хочет завоевать на 61-й Международной математической олимпиаде. Разработчики искусственного интеллекта считают, если алгоритм победит-это будет означать, что он уже близко к человеческому восприятию.

«Математическая олимпиада, для меня, представляет самый сложный класс проблем, который умный человек может научиться решать относительно надежно», — говорит представитель Microsoft Research Дэниел Селсам. Он занимается разработкой математического искусственного интеллекта.

Международная математическая олимпиада проводится с 1959 года и в ней принимают участие лучшие представители молодежи до Университетского возраста. Соревнование проводится два дня, участники имеют 4,5 часа для решения трех проблем, сложность которых увеличивается. За каждую проблему они могут получить до семи баллов. Победители везут домой медали, а также становятся признанными специалистами в математическом сообществе и в некоторых случаях – выдающимися математиками.

Задачи на математической олимпиаде относительно просты и не требуют какой-то сложной математики, даже алгебра считается вне пределов соревнования. Однако при этом такие проблемы являются очень сложными.

Вот, например, пятая задача с олимпиады 1987 года: «пусть n является целым числом больше или равным 3. Докажите, что есть набор из n точек на плоскости, чтобы расстояние между любыми двумя точками была иррациональна и каждый набор трех точек определял недегеративний треугольник с рациональной площадью».

«Ты читаешь вопрос и думаешь «я не могу это решить», — говорит золотой медалист олимпиады 1987 года Кевин Баззард. – Это чрезвычайно сложные вопросы, которые доступны школьникам, если они составят все знакомые им идеи в гениальное решение».

Решение проблем Международной математической олимпиады, как считается, часто требует прозрения и интуиции, что невозможно для современного искусственного интеллекта.

Разработчики математического искусственного интеллекта взяли за основу программу Lean, которую Microsoft впервые запустила в 2013 году и автором которой является Леонардо де Мура. Это ассистент доказательств, который проверяет математическую работу и выполняет скучные задачи по доказательству ее верности.

Для победы в математической олимпиаде Lean нужно изучить много математических концепций, а также научиться сочетать эти знания необычным образом. Решить эти проблемы планируется с помощью успешного подхода – построении дерева решений и следования по нему пока не найдется верное решение.

«Ключевой шаг в многих проблемах на олимпиаде – «поиграть» с ними, ища шаблоны, — говорит Селмас. — Конечно, это не очевидно как сказать компьютеру, чтобы он»поигрался».

Популярные записи


    Как на Android видеть кто звонит с неизвестного номера 7.8k просмотров   Google привлекла свои мощные архивы с собранной информацией и позволила владельцам Android узнавать из какой компании им звонят даже если номер не записан в адресной книге. Официально такая функция работает ...

    4 лучших способа скачать видео с YouTube 7k просмотра   Есть много способов скачать видео с «Ютуба» и, как ни странно, их количество только растет. Пойдем от простого к сложному. Загрузки через сервис Savefrom.net Самый простой способ скачать себе видеоролик с YouTube ...

    Что означают зеленая и оранжевая точки на экране iPhone 6k просмотра   Владельцы iPhone, перешедшие на iOS 14, могли заметить, что время от времени на экране смартфона появляется точка. Она может быть оранжевого или зеленого цвета. Это не баг и не глюк ...

    Актуальные тарифы Vodafone Украина 1.3k просмотров   В этом материале изложены основные отличия между тарифами Vodafone Украина, а также даны рекомендации по оптимальному выбору тарифного плана. Материал будет постоянно обновляться и таким образом оставаться всегда актуальным.

    Солнечная энергия стала официально самой дешевой в истории 1.1k просмотра   Международное энергетическое агентство (International Energy Agency, IEA) сообщило, что впервые в истории стоимость строительства мегаватт солнечных ферм меньше стоимость электростанции такой же мощности на ископаемом топливе. Удешевление эксперты объяснили политикой ...

    Программисты в нынешнем виде могут исчезнуть к 2030 году 1k просмотров   В 1930 году экономист Джон Кейнс прогнозировал, что к концу 20 века люди будут иметь 15-часовую рабочую неделю. В 2020 году стало понятно, что что-то не так: люди глобально начали ...

    Компактных Android-смартфонов не стоит ждать – они невыгодны 817 просмотров   В этом году Apple поразила публику своим iPhone 12 mini, который имеет превосходные габариты для использования одной рукой. При экране в 5,5 дюймов его корпус имеет размеры 131,5х64,2х7,4 мм. Современные ...

    Vodafone запустил сеть 4G LTE 900 МГц в Сумской области 480 просмотров   Vodafone запустил сеть 4G LTE900 в Сумской области, установив 25 базовых станций. Новое покрытие охватило скоростным интернетом 195 населенных пунктов, где проживает примерно 62 тысячи человек. На сегодня оператор запустил ...

    5 приложений для просмотра TV-каналов на Android 390 просмотров   Телевизор уже не является столь массовым предметом бытовой техники (особенно для современного поколения), однако TV-контент остается востребованным среди населения различного возраста и социального статуса. Формат просмотра ТВ-каналов существенно изменился, и ...

    Научно установили самый страшный фильм ужасов в истории 388 просмотров   Приближается Хэллоуин, и британский сайт broadbandchoices установил, каким фильмом можно напугать себя больше всего. Проведенный специалистами ресурса проект «Наука ужасов» объективно определил самый страшный фильм ужасов в истории. Приглашенные 50 ...

НАПИСАТИ ВІДПОВІДЬ

Коментуйте, будь-ласка!
Будь ласка введіть ваше ім'я