Разработанный в Израиле ИИ создает самые популярные в мире математические головоломки

Математика формула изображение

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

«Машины Рамануджана» (The Ramanujan Machineв), передовое изобретение в области искусственного интеллекта, работает на десяти обычных компьютерах в Израильском технологическом институте Техниона, открывая возможности для новых направлений математических исследований. Об этом пишет The Times of Israel.

В течение почти двух лет профессор Идо Каминер, создавший устройство, собирал все выдвинутые ИИ гипотезы, и на этой неделе он опубликовал 19 самых трудных для доказательства или опровержения гипотез во влиятельном рецензируемом журнале Nature, пригласив всех экспертов по всему миру поучаствовать в решении математических головоломок.

Все гипотезы, генерируемые машиной, являются формулами, то есть выражениями или уравнениями, детализирующими взаимосвязь между определенными величинами, и большинство из них являются новыми выражениями числа Пи.

Десятки других формул, некоторые из которых также подробно описаны в Nature, уже оказались верными.

Каминер сказал, что его машина может помочь изменить облик математических исследований в будущем, дав искусственному интеллекту значительную роль в определении повестки дня.

«Это захватывающе, потому что это может открыть новые возможности для математики и изменить облик математических исследований в будущем, дав искусственному интеллекту значительную роль в определении повестки дня. В будущем у нас могут быть математики-люди, которые будут запрашивать у компьютеров указатели на наиболее интересные области для исследования и наметить лучшие вопросы для исследования», — сказал Каминер, доцент электротехнического факультета Техниона и член междисциплинарного института Solid State Institute.

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

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

Машина Техниона — не первое изобретение искусственного интеллекта, которому поручено генерировать математические гипотезы, но Каминер сказал, что она является наиболее продвинутой, а также открывает новые горизонты путем изучения констант.

«Это первая машина, которая изучает фундаментальные математические константы, то есть числа, такие как «Пи», и, как таковые, генерирует формулы, выражающие математические константы», — заявил он.

В то время как новая машина ИИ в настоящее время работает только на компьютерах Техниона, Каминер стремится использовать ее на краудсорсинговых вычислительных мощностях со всего мира. Он хочет сделать версию своего устройства для смартфона, которую люди смогут загрузить, добровольно задействовав лишнюю вычислительную мощность своего устройства для проведения передовых математических исследований.

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

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

Каминер сказал, что он решил построить машину после того, как услышал, как профессор Массачусетского технологического института рассказал ему об исследованиях ИИ на семинаре.

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

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

Простая математическая задача вызвала у пользователей бурные обсуждения. Пользователь Twitter под ником @iambuterastann опубликовал простую математическую задачу, которая поставила в тупик многих юзеров сети. Они не смогли прийти к единому мнению насчет правильного ответа.

Напомним, ранее мы писали, что известный блогер Тим Урбан опубликовал на своем сайте задачу, которая взорвала интернет.

ТЭГИ:
comments powered by HyperComments