21 февраля – ИА SM.News. Израильские инженеры создали новый искусственный интеллект, который может строить гипотезы из области теории и чисел. Алгоритм даже сам ведет поиск нужных математических формул в форме бесконечных дробей.
Разработка была создана исследователями Израильского технологического института. Система была названа в честь индийского математика Сринивасы Рамануджана — она называется «машина Рамануджана». Искусственный интеллект сам может находить всевозможные связи между числами и создавать гипотезы, а их в дальнейшем предстоит доказывать израильским математикам.
Раньше ученые уже создавали подобные алгоритмы, чтобы те доказывали уже имеющиеся у них на руках гипотезы. Сейчас ученые решили пойти куда дальше. Разработка израильских инженеров может изменить в целом сам подход в формальных доказательствах, где вообще применима исследовательская логика.
