Новый фреймворк LongTails для математической оптимизации
Новый фреймворк LongTails для математической оптимизации В Институте AIRI разработали LongTails — фреймворк, который позволяет ИИ самостоятельно формулировать задачи оптимизации, придумывать методы решения и доказывать их корректность. Все доказательства проходят проверку в Lean 4, что гарантирует их точность. Это ускорит поиск эффективных алгоритмов для обучения нейросетей. Уже получено более 35 новых результатов, а код открыт на GitHub для всех желающих. Такой инструмент поможет сделать ИИ обучаемее и надежнее. #технологии #ИИ #нейросети #наука #автоматизация
1 просмотров
Канал в каталоге Максиметера
3 972 подписчиков · IT и технологии