Pull to refresh

Comments 3

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

Equality Saturation Guided by Large Language Models

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

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

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

Sign up to leave a comment.

Articles