Wednesday, September 10, 2025

The Digital Press

All the Bits Fit to Print

Ruby Web Development Artificial Intelligence Urban Planning Astronomy

Formal Proof Shows AI Learning Is Computationally Intractable

A mathematical demonstration of AI learning limitations

From Hacker News Original Article Hacker News Discussion

A recent proof claims that creating human-level cognition in AI is computationally intractable, but some argue the assumptions behind this are too restrictive and may not hold.

Why it matters: If true, the proof challenges the feasibility of Artificial General Intelligence (AGI) based on current computational models.

The big picture: The argument hinges on whether human cognition exceeds what Turing-computable systems can replicate, a long-debated question in AI and cognitive science.

The other side: Critics note humans naturally create human-level cognition, suggesting AGI might be achievable despite the proof's claims.

Commenters say: Many emphasize that the proof’s premises limit its conclusions, arguing practical, imperfect human-like AI remains valuable and achievable.