В AIRI создали фреймворк для исследований в математической оптимизации под названием Lo...
В AIRI создали фреймворк для исследований в математической оптимизации под названием LongTails. С его помощью ИИ может самостоятельно формулировать задачи оптимизации, придумывать методы их решения и доказывать результаты. Все доказательства проверяются в Lean 4, поэтому они гарантированно корректны. Это упрощает поиск наиболее эффективных алгоритмов для обучения нейросетей. Авторы уже получили более 35 новых результатов. Код опубликован на GitHub. 🖥Мы в Телеграм Новости IT Всемм 💻Мы в Max Новости IT Всемм
2 просмотров
Канал в каталоге Максиметера
33 подписчиков · IT и технологии