## Formal AI (Solve all Problems)

From: andrew cooke <andrew@...>

Date: Thu, 28 Jan 2010 09:09:07 -0300

The Fastest and Shortest Algorithm for All Well-Defined Problems - An
algorithm M is described that solves any well-defined problem p as
quickly as the fastest algorithm computing a solution to p, save for a
factor of 5 and low-order additive terms -
http://www.hutter1.net/ai/pfastprg.htm

Background -
http://hplusmagazine.com/articles/ai/build-optimal-scientist-then-retire

Andrew