TGViewer
Лаборатория Математики и Программирования Сергея Бобровского Лаборатория Математики и Программирования Сергея Бобровского @lambda_brain · 1.41K subscribers
Post #606 1.02K
Периодически просят пояснить, как это вообще GPT могут честно писать код? Ну, не знаю, специально так было заложено в их архитектуры, или это "естественно" оказалось для LLM, но фишка в том, что внутри них некоторым образом сформировался движок логического вывода.

Для GPT, Python -- это Prolog. и JavaScript -- это Prolog, и ваше с ней общение -- это Prolog, и вообще всё для неё -- это Prolog ))) К которому прикручен "нечёткий" нейронный фреймворк, на эту тему на днях в сериале про AI-стартапы напишу подробнее.

Я несколько лет назад сделал небольшой курс по этой теме, SMT-солверам и Program Synthesis, и ещё тогда говорил о стратегической важности этих темок, но потом закрыл, потому что тогда потенциала этого никто не понимал, ну и вот.

Если хотите эффективно работать с ChatGPT и подобными, вам надо научиться думать как ChatGPT :) И этот prompt-скилл отлично тренируется формально: изучайте логическое программирование и для начала решайте побольше задачек на Прологе.
More from @lambda_brain
  1. Oct 18, 2026Скорость вывода твоего саас-а на рынок даже в нишу, где есть норм спрос, ещё ничего не зна…
  2. Oct 18, 2026Вы думаете, что формальные методы решат проблему агентной/AI-инженерии раз и навсегда? Это…
  3. Oct 18, 2026Продолжаю работу с ментатами 🤓 ...Вот, кстати, еще на неделе прилетел отказ от [...] со с…
  4. Oct 17, 2026В эпоху AI весь DevOps уходит в пространства огромных размерностей. Когда у вас сотни окру…
  5. Oct 16, 2026Короче, закрываю тему инди-хакерства. Во-первых, за все годы что я к этому призываю, так н…
  6. Oct 16, 2026Пацаны волнуются! Как же, три работы в параллель, и 50 токенов/сек маловато чтобы херачить…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →