Path: ...!eternal-september.org!feeder3.eternal-september.org!news.szaf.org!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: Alan Mackenzie <acm@muc.de>
Newsgroups: comp.theory
Subject: Re: ChatGPT correctly analyzed the first page of my paper:
Date: Wed, 2 Oct 2024 09:42:19 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <vdj4hr$2k6$1@news.muc.de>
References: <vdgpbs$2nmcm$1@dont-email.me> <vdgqhn$2nmcm$2@dont-email.me> <vdhaja$2qm1j$1@dont-email.me> <vdhhoc$2ma4$1@news.muc.de> <vdi0mh$2u1sn$1@dont-email.me>
Injection-Date: Wed, 2 Oct 2024 09:42:19 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
	logging-data="2694"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.1-RELEASE-p3 (amd64))
Bytes: 2171
Lines: 38

olcott <polcott333@gmail.com> wrote:
> On 10/1/2024 2:15 PM, Alan Mackenzie wrote:
>> olcott <polcott333@gmail.com> wrote:
>>> On 10/1/2024 7:39 AM, olcott wrote:

>>> Simulating Termination Analyzer H is Not Fooled by Pathological Input D

>> [ .... ]


>>>> https://chatgpt.com/share/66fbec5c-7b10-8011-9ce6-3c26424cb21c


>>> The above link to a ChatGPT conversation is entirely
>>> complete with the first part being the entire input
>>> provided to ChatGPT. The second part is the output that
>>> ChatGPT deriving from analyzing this input.

>> You are aware that programs like ChatGPT are know for "hallucinating"
>> non-facts?  They have even less understanding of the truth than you do.

>> In fact, they tend to regurgitate whatever "facts" they are fed with.

> In other words you can convince it that its analysis
> of my work is incorrect. I dare you to try to do that.

I've got better things to do with my time.  Real live competent
mathematicians have shown your work to be incorrect.  What a dumb chat
program regurgitates has no relevance to anything.

[ .... ]

> -- 
> Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
> hits a target no one else can see." Arthur Schopenhauer

-- 
Alan Mackenzie (Nuremberg, Germany).