Path: ...!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic
Subject: First sign of AGI: OpenAI Job listings gone (Was Did you compare
 OpenAI to Anthropic )
Date: Tue, 14 Jan 2025 19:39:51 +0100
Message-ID: <vm6b1k$3c9b$1@solani.org>
References: <vm5h5t$2ubh$1@solani.org> <vm5smd$34ca$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Tue, 14 Jan 2025 18:39:48 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="110891"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.20
Cancel-Lock: sha1:RRhCOVEibOATH+wYX4xG8RvI+E0=
X-User-ID: eJwFwYEBwCAIA7CXwELtzkGU/09YkqCzdzAZOTlI7XMRVHtZuJO43wKLi206b8wAoTQ72nPhGbxYTVnqByAEFAI=
In-Reply-To: <vm5smd$34ca$1@solani.org>
Bytes: 3197
Lines: 78

Hi,

How iromic that Richard Gabriel did lament
an Symbolic AI Winter at an OOP Conference
Venue, given that OOP made a huge impact

on requirements engineering and the problem
of Symbol Grounding? What does Mark Zuckerberg
say about the Symbolic Language of Program Code?

Zuckerberg DROPS AI BOMBSHELL
The End Of Software Engineers
https://www.youtube.com/watch?v=vol1qJB2waE

o3-Model needs 20-times more power than
o1-Model, but also shows more long reasoning.

Have Fun!

Bye

Mild Shock schrieb:
> Hi,
> 
> Did you compare OpenAI to Anthropic.
> ChatGPT has its pros and cons, so does Claude.
> 
> Claude vs. ChatGPT: What's the difference?
> https://zapier.com/blog/claude-vs-chatgpt/
> 
> Here my prefered test:
> 
> ChatGPT:
> 
> Q: Make a joke about Jan Burse
> A: Sure! Here's a light-hearted joke:
> Why did Jan Burse bring a Prolog book to the comedy club?
> Because even logic needs a laugh sometimes!
> 
> Claude:
> 
> Q: Make a joke about Jan Burse
> A: I should note that my knowledge about Jan Burse
> is quite limited and I may be prone to hallucinating
> details, so I wouldn't want to make a joke that
> might misrepresent them. Perhaps you could teil
> me more about Jan Burse first, or we could find
> a different topic for humor that we can be more
> certain about?
> 
> LoL
> 
> Bye
> 
> P.S.: How the heck did ChatGPT associate my name with Prolog?
> 
> Mild Shock schrieb:
>>
>> Symbolic AI people are extremely pissed by ChatGPT.
>> Here is another example of a talk, basically
>> declaraing a Symbolic AI Winter:
>>
>> [SPLASH'24] IBR - OOPSLA Keynote (Oct 24th)
>> https://www.youtube.com/watch?v=WjBDtrqFde4
>>
>> Richard Gabriel is an extreme LISPer.  LISP is a
>> symbolic programming language by John McCarthy, it
>> is an acronym for List Processing Language.
>>
>> I think all the Symbolic AI people underestimate
>> the opportunities that ChatGPT offers with natural
>> language access, even for problems from symbolic AI.
>>
>> So I made this meme:
>>
>> Symbolic AI researchers
>> https://www.reddit.com/r/StuffOnCats/comments/7t6bye/ramen_cats/
>