Gödel Machine
A theoretical framework for a fully self-referential general problem solver proposed by Jürgen Schmidhuber in 2003. The system treats its own code as a modifiable object and may execute arbitrary self-modifications—including improvements to its own reasoning mechanisms—whenever a formal proof can be constructed that a given modification will increase expected future utility.
Timeline (last 90 days)
The Gödel Machine, proposed by Jürgen Schmidhuber in 2003, is a theoretical framework for self-modifying programs that allows an agent to rewrite its own code given a formal proof that the rewrite is an improvement.
The Gödel Machine, proposed by Jürgen Schmidhuber in 2003, is a theoretical framework for a fully self-referential general problem solver.
The Gödel Machine can execute any self-modification as long as a formal proof confirms that the modification will improve future expected utility, including modifying the very mechanism used to prove the improvement.
Professor Gu's team has an ICLR paper building on the Gödel Machine, which treats the entire scaffolding of a Coding Agent as an evolvable program and designs an evolution strategy by evaluating the long-term potential of modified nodes.
All Facts (4)
The Gödel Machine, proposed by Jürgen Schmidhuber in 2003, is a theoretical framework for self-modifying programs that allows an agent to rewrite its own code given a formal proof that the rewrite is an improvement.
50%UnverifiedThe Gödel Machine, proposed by Jürgen Schmidhuber in 2003, is a theoretical framework for a fully self-referential general problem solver.
50%UnverifiedThe Gödel Machine can execute any self-modification as long as a formal proof confirms that the modification will improve future expected utility, including modifying the very mechanism used to prove the improvement.
50%UnverifiedProfessor Gu's team has an ICLR paper building on the Gödel Machine, which treats the entire scaffolding of a Coding Agent as an evolvable program and designs an evolution strategy by evaluating the long-term potential of modified nodes.
50%