В Институте AIRI представили фреймворк LongTails для математической оптимизации. Инструмент позволяет…

В Институте AIRI представили фреймворк LongTails для математической оптимизации. Инструмент позволяет искусственному интеллекту самостоятельно формулировать и решать задачи оптимизации, а также проверять результаты с помощью Lean 4. Разработка помогает находить более эффективные алгоритмы для обучения нейросетей. Фреймворк уже привел к более чем 35 новым открытиям, его код опубликован на GitHub.