Веб-версияОткрыть в Telegram
Тема
Веб-версияОткрыть в Telegram
PPython Backend UAPython Backend UA@python_backend_ua · группа · 65 участников

Сообщениеhttps://www21.in.tum.de/~blanchet/iwil2010-sledgehammer.pdf ось тут система генерує доведення.

5 октября 2026

Рядом в ленте

AAndrii Kurdiumovякщо тобі не важливо, але чомусь авторство тобі важливоККостянтин К 🇺🇦Терміни важливі, але я вже кілька разів пояснив що маю на увазі під «приймає рішення»: система обирає що перевіряти і як, залежно від результатів. Де тут антроп
это сообщение
AAndrii Kurdiumovну якщо механізм обирає між варіантами, а у нас були до цього механізми такі, то чого заради маркетингу деяких компаній треба щось міняти? що принципово помінялККостянтин К 🇺🇦Ну так я ж не через новизну пропоную. Якщо людина лише поставила задачу, а система сама провела дослідження, чому все авторство людині? До старих систем те саме
PPython Backend UAPython Backend UA@python_backend_ua · группа · Технологии
65участников19пишущих за 30 дней
Лента площадки Открыть в Telegram

Открытая публичная лента из поискового индекса ChatCrawler — «Google по публичному Telegram»; обновляется по мере обхода площадки. Время — UTC.

Только публичный контент, официальный API Telegram. О проекте · Вопросы · Чего мы не делаем · Убрать страницу из выдачи · Каталог · Поиск · Как мы считаем