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