Дайджест препринтов научных статей в области Информатики

[NeoCode]

Equality Saturation Guided by Large Language Models

Вот что-то подобное нужно и для математики (от доказательства теорем до поиска новых направлений математики). А там и до теоретической физики недалеко. ИИ ищет цели направления интуитивно-эвристически, точный алгоритм выводит и проверяет.

[Zalechi]

ИИ смотрит на кучу вариантов в графе, выбирает лучший “чекпоинт” (с помощью простой модели вероятностей, которая учится на его же ответах). Процесс в циклах: насыщаем граф, ИИ выбирает цель, повторяем до финала.

Да, я считаю эти инструменты будут работать для множества дисциплин…

[makondo]

"Хьюристические модели"  - это, наверное, эвристические?..