Израильские специалисты научили искусственный интеллект строить гипотезы

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

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

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