ИИ, находящий закономерности в последовательностях

[Ktina]

Реально ли создать Искусственный Интеллект, который получал бы на вводе кусок целочисленной последовательности и находил бы в этом куске закономерность, описывая её словами?
От самого простого: скажем, вводишь 1 1 2 3 5 8 - он выдаёт "Это числа Фибоначчи". К более сложному: например, вводишь 576 1296 1764 2916, а ИИ, поднапрягшись, отвечает: "Перед Вами квадраты целых чисел, являющиеся также избыточными числами, и помимо этого сумма их цифр также является избыточным числом".
И дополнительный вопрос: Были ли попытки сосздать ИИ, решающий олимпиадные задачи по математике?
Заранее благодарю за развёрнутый и исчерпывающий ответ!

[mihaild]

Самое близкое к этому что я видел - соревнование по предсказанию следующего числа для последовательностей из OEIS и статья про нахождение алгоритма, сгенерировавшего последовательность.
Вполне можно без всякого обучения нагенерировать большое количество первых членов для последовательностей из OEIS и дальше пытаться давать описания вида "пересечение такой и такой последовательностей", "применение одной последовательности к другой" и т.д.
Что-то более честное имеющимися методами вряд ли получится.

Ktina в сообщении #1251894 писал(а):

Были ли попытки сосздать ИИ, решающий олимпиадные задачи по математике?

Выглядит как ИИ-полная задача, так что вряд ли.

[Mihaylo]

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

Олимпиадные задачи, да, можно, но сложно.

[Rasool]

Ktina в сообщении #1251894 писал(а):

И дополнительный вопрос: Были ли попытки создать ИИ, решающий олимпиадные задачи по математике?

В МГУ на кафедре МАТИС ведется работа над Автоматическим решателем математических задач под руководством д.ф.-м.н. Подколзина Александра Сергеевича, но вроде олимпиадные задачи здесь не причем.

[Ktina]

mihaild в сообщении #1251895 писал(а):

Ktina в сообщении #1251894 писал(а):

Были ли попытки сосздать ИИ, решающий олимпиадные задачи по математике?

Выглядит как ИИ-полная задача, так что вряд ли.

Если речь идёт о любых олимпиадных задачах, то Вы правы. А вот нейросеть, решающую буквенные ребусы (такое на олимпиадах сплошь и рядом предлагается, особенно для младших классов), вполне можно было бы создать. Я имею в виду, чтобы она условие ребуса сама понимала, чтобы человеку не пришлось для каждого отдельного ребуса писать отдельную программу.

(Оффтоп)

Я о таких, например, ребусах говорю: ЧАЙ:АЙ=5, нечто типа того.

[arseniiv]

Ktina в сообщении #1259254 писал(а):

Я имею в виду, чтобы она условие ребуса сама понимала, чтобы человеку не пришлось для каждого отдельного ребуса писать отдельную программу.

А зачем нейросеть? И зачем отдельные программы? Если имеются в виду только ребусы, где одинаковые буквы означают одинаковые цифры, можно написать один раз одну программу. Если и другие разновидности, можно их тоже учесть, а на входе чтобы вместе с «уравнениями» добавляли какой-то индикатор того, какая из них задана.

[kotenok gav]

(Оффтоп)

ЧАЙ=125,250,375, в уме решается.

[mihaild]

Нейросеть для таких ребусов обучить сложно (не уверен что современными методами вообще возможно). А просто решающий их код - написать легко.

[Ktina]

arseniiv в сообщении #1259258 писал(а):

... , где одинаковые буквы означают одинаковые цифры, ...

(Оффтоп)

ААББ=1111
Одинаковые буквы означают одинаковые цифры.
Этого, очевидно, не достаточно. Нужно ещё добавить, что разные буквы означают разные цифры

[arseniiv]

Ktina в сообщении #1259418 писал(а):

Нужно ещё добавить, что разные буквы означают разные цифры

Так это же вроде уже как раз зависит от вида задачки. Где так, где не важно.

[grizzly]

Ktina в сообщении #1251894 писал(а):

Реально ли создать Искусственный Интеллект, который получал бы на вводе кусок целочисленной последовательности и находил бы в этом куске закономерность, описывая её словами?

По крайней мере какие-то люди этим занимаются и даже диссертации защищали. Посмотрите подробности в разделе "Related Work" на стр. 5 этой стати. Статья правда довольно древняя, но всё же.

[Ktina]

grizzly
Круто! Спасибо большое-пребольшое!

[Ktina]

mihaild в сообщении #1251895 писал(а):

Ktina в сообщении #1251894 писал(а):

Были ли попытки сосздать ИИ, решающий олимпиадные задачи по математике?

Выглядит как ИИ-полная задача, так что вряд ли.

Но теперь уже нет:
https://nplus1.ru/news/2019/09/12/ai-imo

[Sender]

Боюсь, это по-прежнему выглядит как ИИ-полная задача.

[vend]

Тут вообще ИИ не нужно - алгоритмически находишь рекуррентную формулу (или другую модельную формулу перебором) и ищешь ее название в базе данных, если оно там есть.
Это чистым образом База Знаний и эмпирический Вывод Формул, даже интеллект человека с такой задачей не справится если он просто не знает этих названий и методов.