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

Groups > sci.math > #640647

Re: OpenAI is Toast: Kimi K2 is Live [Halting Problem] (Was: USA domestic chips for the never ending crunch)

Cross-posted to 3 groups.

Show all headers | View raw

On 11/10/2025 10:20 AM, olcott wrote:
> On 11/10/2025 8:57 AM, Mild Shock wrote:
>> Hi,
>>
>> Lets analyse Ross Finlaysons Halting Problem
>> nonsensen with Kimi K2:
>>
>> Ross Finlayson schrieb:
>>  > I don't go looking for paradoxes,
>>  > since there aren't any in a real theory,
>>  > contradictions though automatically
>>  > make for counterexamples, then about
>>  > the "analytical bridges",
>>  > or ponts is what I call them,
>>  > not the "invincible ignorance".
>>
>> Lets see what Kimi K2 says:
>>
>>
> User: int H(char* P);
> 
> int D()
> {
>    int Halt_Status = H(D);
>    if (Halt_Status)
>      HERE: goto HERE;
>    return Halt_Status;
> }
> 
> Answer only on the basis of performing the
> actual simulation of D simulated by H.
> 
> When N statements of D are simulated by H
> according to the semantics of the C programming
> language can the simulated D reach its own
> "return" statement final halt state for any value of N?
> Kimi: Based on direct simulation of D by H per C semantics:
> 
> **No. For any finite N statements simulated, D cannot reach its return 
> statement.**
> 
> The simulation proceeds:
> 1. H begins simulating D's first statement: `int Halt_Status = H(D);`
> 2. To evaluate this, H must simulate a **recursive call to itself with D 
> as input**
> 3. This creates infinite simulation recursion: H simulating D calling H 
> simulating D calling H...
> 4. The simulation never advances past this first statement to reach the 
> `if (Halt_Status)` test or the `return Halt_Status;` line
> 
> The `goto HERE` infinite loop is irrelevant to the core problem—**the 
> simulation fails to terminate before reaching it**. This is the 
> fundamental self-reference trap: any attempted halt decider H cannot 
> complete its simulation of D because D is constructed to force recursive 
> simulation that never reaches a final state.
> 
> https://www.kimi.com/chat/19a6efaf-e1e2-84da-8000-09a1e69a2313
> 

Moron.

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