From Newsgroup: comp.lang.prolog

Hi,

How it started:

RIP Deepseek. We have a new #1 open-source AI model https://www.youtube.com/watch?v=xt6_zIKeX6A

How its going:

Meta’s AI Genius Just Quit — Even Zuckerberg Seems Surprised. https://www.youtube.com/watch?v=W2tr1Q3D1ZI

I guess Yann LeCun was not paying attention
to the transition of LLM (Large Language Models)
to LRM (Large Reasoning Models).

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/

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

Because the Prolog community has dummbed itself
down over the last years. You don't find something
mildly interesting published by Prologers.

On the other hand Behemoth China has easy game:

8x Authors China:

Abductive Logical Rule Induction by Bridging Inductive
Logic Programming and Multimodal Large Language Models https://arxiv.org/pdf/2509.21874

2x Authors China:

Domain-Contextualized Concept Graphs:
A Computable Framework for Knowledge Representation https://arxiv.org/abs/2510.16802

Have Fun!

Bye

Mild Shock schrieb:

Hi,

How it started:

RIP Deepseek. We have a new #1 open-source AI model https://www.youtube.com/watch?v=xt6_zIKeX6A

How its going:

Meta’s AI Genius Just Quit — Even Zuckerberg Seems Surprised. https://www.youtube.com/watch?v=W2tr1Q3D1ZI

I guess Yann LeCun was not paying attention
to the transition of LLM (Large Language Models)
to LRM (Large Reasoning Models).

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/

--- Synchronet 3.21a-Linux NewsLink 1.2