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

Groups > sci.math > #640730

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

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.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread

Thread

Vanishing Point . [Le Dot] Mild Shock <janburse@fastmail.fm> - 2025-10-05 00:52 +0200
  Lets compare AI data centers (Re: Vanishing Point . [Le Dot]) Mild Shock <janburse@fastmail.fm> - 2025-10-05 01:05 +0200
    USA domestic chips for the never ending crunch (Re: Lets compare AI data centers) Mild Shock <janburse@fastmail.fm> - 2025-10-05 01:19 +0200
      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
  Re: Vanishing Point . [Le Dot] Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-10-04 18:38 -0700
    Creative Commons Attribution-ShareAlike 4.0 International License (CC BY-SA 4.0). (Was: Vanishing Point . [Le Dot]) Mild Shock <janburse@fastmail.fm> - 2025-10-05 10:09 +0200
      Holy Schrimp Jesus: The Internet is Dead [Rossy Boy dethroned?] (Was: Creative Commons Attribution-ShareAlike 4.0 International License) Mild Shock <janburse@fastmail.fm> - 2025-10-05 10:29 +0200
        Re: Holy Schrimp Jesus: The Internet is Dead [Rossy Boy dethroned?] (Was: Creative Commons Attribution-ShareAlike 4.0 International License) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-10-05 10:29 -0700
        Re: Holy Schrimp Jesus: The Internet is Dead [Rossy Boy dethroned?] (Was: Creative Commons Attribution-ShareAlike 4.0 International License) kinak <kin@mob.net.inv> - 2025-10-05 18:57 +0100
          Re: Holy Schrimp Jesus: The Internet is Dead [Rossy Boy dethroned?] (Was: Creative Commons Attribution-ShareAlike 4.0 International License) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-10-05 11:06 -0700
    British writer Arthur C. Clarke (Re: Vanishing Point . [Le Dot]) Mild Shock <janburse@fastmail.fm> - 2025-10-05 19:33 +0200
      Aryabhatta of Bihar [Indian Mathematician-Astronomer] (Re: British writer Arthur C. Clarke) Mild Shock <janburse@fastmail.fm> - 2025-10-05 19:34 +0200
      Re: British writer Arthur C. Clarke (Re: Vanishing Point . [Le Dot]) Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-10-05 11:06 -0700
  Knight Rider (2025/2026) will kill us all (Was: Vanishing Point . [Le Dot]) Mild Shock <janburse@fastmail.fm> - 2025-11-13 21:52 +0100
    The AGI Gambit: Hype vs. Reality (Re: Knight Rider (2025/2026) will kill us all) Mild Shock <janburse@fastmail.fm> - 2025-11-13 21:59 +0100
      Stable Diffusion with Control Net (Re: The AGI Gambit: Hype vs. Reality) Mild Shock <janburse@fastmail.fm> - 2025-11-13 23:04 +0100

csiph-web