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

Израильские исследователи создали искусственный интеллект, способный строить гипотезы из сферы теории чисел. Алгоритм, получивший название "машина Рамануджана", создал уже более ста заслуживающих внимание математических гипотез, которые теперь предстоит доказать ученым.

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

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

Программу назвали "машиной Рамануджана" в честь математика Сринивасы Рамануджана из Индии, который доказал более ста двадцати формул из теории чисел за 33 года своей короткой жизни. "Теперь дело Рамануджана может продолжить программа, приближенная к ИИ. Алгоритм уже сгенерировал сто с лишним гипотез, для нескольких десятков из которых были представлены математические доказательства", — говорят создатели ИИ.