В РФ создали ИИ-агента для решения сложных математических задач

Ученые Института AIRI создали ИИ-агента LongTails для автоматизации математических исследований. Система формулирует задачи оптимизации, ищет решения и доказывает теоремы. Одна теорема занимает у агента от трёх до семи часов.











