Вход на сайт
ИИ для программиста?
101180 просмотров
Перейти к просмотру всей ветки
Назад
в ответ alex445 02.02.25 23:33, Последний раз изменено 05.02.25 02:57 (alek4)
По идее, ИИ должен генерить новое знание. Типа, загрузил в него какую-нибудь аксиоматику, и чтобы он быстро мне выдал список всех возможных теорем по ней
Теорем = логический многочлен.
ГЕНЕРИРУЕМ логические многочлены с переменными аксиомами.
Фильтруем теоремы.
Теорема = крипто.