Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > sci.physics.relativity > #667270

Even Prolog now depends on China (Was: Meta is Dust: Yann LeCun crushed by Behemoth China)

From Mild Shock <janburse@fastmail.fm>
Newsgroups sci.math, sci.logic, sci.physics.relativity
Subject Even Prolog now depends on China (Was: Meta is Dust: Yann LeCun crushed by Behemoth China)
Date 2025-11-13 19:13 +0100
Message-ID <10f573t$dp9a$1@solani.org> (permalink)
References <10bs8fq$hne8$3@solani.org> <10bs98j$hnv4$3@solani.org> <10bsa17$hob3$3@solani.org> <10esugq$32sm$1@solani.org> <10f56hi$dort$1@solani.org>

Cross-posted to 3 groups.

Show all headers | View raw


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

Back to sci.physics.relativity | Previous | NextPrevious in thread | Next in thread | Find similar | Unroll thread


Thread

OpenAI is Toast: Kimi K2 is Live [Halting Problem] (Was: USA domestic chips for the never ending crunch) Mild Shock <janburse@fastmail.fm> - 2025-11-10 15:57 +0100
  Re: OpenAI is Toast: Kimi K2 is Live [Halting Problem] (Was: USA domestic chips for the never ending crunch) olcott <polcott333@gmail.com> - 2025-11-10 12:20 -0600
    Re: OpenAI is Toast: Kimi K2 is Live [Halting Problem] (Was: USA domestic chips for the never ending crunch) "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-11-10 12:08 -0800
  Re: OpenAI is Toast: Kimi K2 is Live [Halting Problem] (Was: USA domestic chips for the never ending crunch) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-10 17:05 -0800
  The joy of running an AI Model on your AI Laptop [Local AI] (Was: OpenAI is Toast: Kimi K2 is Live [Halting Problem]) Mild Shock <janburse@fastmail.fm> - 2025-11-11 21:09 +0100
  The joy of running an AI Model on your AI Laptop [Local AI] (Was: OpenAI is Toast: Kimi K2 is Live [Halting Problem]) Mild Shock <janburse@fastmail.fm> - 2025-11-11 21:12 +0100
    Cute Racoon generated with Local AI (Was: The joy of running an AI Model on your AI Laptop [Local AI]) Mild Shock <janburse@fastmail.fm> - 2025-11-11 23:26 +0100
  Meta is Dust: Yann LeCun crushed by Behemoth China (Was: OpenAI is Toast: Kimi K2 is Live [Halting Problem]) Mild Shock <janburse@fastmail.fm> - 2025-11-13 19:03 +0100
    Even Prolog now depends on China (Was: Meta is Dust: Yann LeCun crushed by Behemoth China) Mild Shock <janburse@fastmail.fm> - 2025-11-13 19:13 +0100
      Re: Even Prolog now depends on China (Was: Meta is Dust: Yann LeCun crushed by Behemoth China) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-11-13 11:42 -0800

csiph-web