Обновить

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

Уровень сложностиПростой
Время на прочтение5 мин
Охват и читатели12K
Всего голосов 3: ↑3 и ↓0+5
Комментарии3

Комментарии 3

Сейчас можно пройти любую детекцию на плагиат, если очеловечить в Lexicon Rephraser одним кликом.

Equality Saturation Guided by Large Language Models

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

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

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

Зарегистрируйтесь на Хабре, чтобы оставить комментарий

Публикации