Скор на разгадку: новый ИИ-агент докажет теоремы в разы быстрее математиков

Российские ученые создали ИИ-систему LongTails, которая способна самостоятельно формулировать задачи математической оптимизации, находить методы решения и формально доказывать теоремы в разы быстрее, чем профессиональные математики.