Jemini and chatGPT

[juan_gandhi]

Чота я притупил, доказывая, что для X=λx xSK, можно выразить комбинатор K = X(X(XX)), и пошел попросить jemini доказать. Тот такую несусветную чушь понес! Окей, пошел на chatGPT. Тот так красиво все это расписал. Только почему-то у меня не получалось. Он пишет
(λx xSK)SK = SKSK. Дальше я от него пытался добиться, с какого хуя такие подстановки. Не шмог. Он со мной соглашается, а лепит херню. Как поп на амвоне.

А я-то уже думал...

Comments

[chaource]

Когда-то я увиделъ у чато-гопоты, котораго попросили рѣшить задачу "step by step", такое разсужденiе на одномъ изъ шаговъ:

"На предыдущемъ шагѣ мы получили результатъ 120. А поскольку 120 приблизительно равно 67.5, то получается окончательный отвѣтъ - 67.5"

Предыдущiй шагъ далъ значенiе 120, которое тоже было для той задачи логически невѣрнымъ, но хотя бы было понятно, въ чемъ тамъ была ошибка.

Ну и вообще, при знакомствѣ съ чато-гопотой главное открытiе для меня было, что, оказывается, рѣшая несложную математическую задачу по теорiи вѣроятности, послѣ промпта "explain the reasoning step by step" роботъ выдаетъ стилистически безупречный текстъ съ уравненiями, въ которомъ каждый логическiй шагъ такъ или иначе ошибоченъ. Каждый шагъ содержалъ ту или иную ошибку и ни одно уравненiе не слѣдовало изъ предыдущаго уравненiя.

Но увидѣть эти ошибки было нелегко, т.к. никакихъ очевидныхъ опечатокъ или недочетовъ въ текстѣ не было. Глазъ пробѣгаетъ такой текстъ быстро и кажется, что тамъ все правильно.

Помню такой примѣръ ошибки у чато-готопы - интегралъ сначала пишется отъ 1 до безконечности. Потомъ, на очередномъ шагѣ, предѣлы интегрированiя пропадаютъ, и дальше дѣлается выводъ, который былъ бы справедливъ для интеграла отъ 0 до безконечности.

[livelight]

Может, он вас просто не понял с ерами и ятями?

[chaource]

Бесѣдовалъ не я и бесѣда производилась по-англiйски.

Думаю, пока что этихъ роботовъ врядъ ли можно серьезно использовать на какомъ-либо другомъ языкѣ, кромѣ англiйскаго. Объемъ оцифрованнаго англоязычнаго текста на порядокъ превышаетъ всѣ остальные языки.

[livelight]

Дык, а какая разница? Задача-то про математику, или вообще, вон, про лямбда-исчисление. Он должен на человеческом языке только связки вроде "из этого следует" говорить, а остальное всё должно быть на языке предметной области.

[chaource]

Чато-гопота не владѣетъ никакими языками предметныхъ областей, ни математикой, ни физикой, ничѣмъ. Владѣетъ только естественнымъ языкомъ и можетъ правдоподобно притворяться, что написалъ уравненiе, но по-настоящему тамъ нѣтъ моделей этихъ областей. Ни лямбды, ни чиселъ, ни логики, ни программированiя, ничего нѣтъ тамъ. Поэтому оно можетъ только правдоподобно имитировать стиль.

[juan_gandhi]

Да, конечно. Имитирует стиль. Но шелл-скрипты несложные вполне так может лепить. Помнит формат, как там в строке подстроку заменить, и прочее.

[dmm]

GPT-4 чаще на самом деле соображает, чем имитирует стиль.

Другое дело, что раз на раз не приходится, и задача на задачу тоже.

Вот этот пример (где она решает олимпиадную задачку, помогая себе с помощью генерации и выполнения вычислений на Питоне), является хорошей иллюстрацией (питоновские фрагменты и результаты их выполнения становятся видны при нажатии на голубые "штучки" в тексте (там ещё "View analysis" mouse-over)):

https://chat.openai.com/share/d1c4c289-9907-46a6-8ac1-f6baa34f1b12

https://dmm.dreamwidth.org/73530.html