<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Self Modification on 中文AI术语词典</title><link>https://terms-en.ai-term-hub.com/zh/tags/self-modification/</link><description>Recent content in Self Modification on 中文AI术语词典</description><generator>Hugo</generator><language>zh-cn</language><lastBuildDate>Sat, 18 Jul 2026 11:44:45 +0000</lastBuildDate><atom:link href="https://terms-en.ai-term-hub.com/zh/tags/self-modification/index.xml" rel="self" type="application/rss+xml"/><item><title>哥德尔机</title><link>https://terms-en.ai-term-hub.com/zh/terms/g%C3%B6del_machine/</link><pubDate>Sat, 18 Jul 2026 11:20:37 +0000</pubDate><guid>https://terms-en.ai-term-hub.com/zh/terms/g%C3%B6del_machine/</guid><description>&lt;h2 id="definition">Definition&lt;/h2>
&lt;p>哥德尔机是由于尔根·施密德胡伯提出的假设性通用问题求解器，基于形式逻辑和可计算性理论。它通过持续分析自身的源代码来寻找更高效的算法实现方式，并在证明新代码能带来更高效用时进行自我修改。&lt;/p>
&lt;h3 id="summary">Summary&lt;/h3>
&lt;p>一种理论上的自我改进人工智能程序，能够在不改变目标的情况下重写自身源代码以提高效率。&lt;/p>
&lt;h2 id="key-concepts">Key Concepts&lt;/h2>
&lt;ul>
&lt;li>自我修改&lt;/li>
&lt;li>效用函数&lt;/li>
&lt;li>形式验证&lt;/li>
&lt;li>计算效率&lt;/li>
&lt;/ul>
&lt;h2 id="use-cases">Use Cases&lt;/h2>
&lt;ul>
&lt;li>人工通用智能的理论研究&lt;/li>
&lt;li>研究算法自我改进的极限&lt;/li>
&lt;li>探索人工智能安全中的形式化方法&lt;/li>
&lt;/ul>
&lt;h2 id="related-terms">Related Terms&lt;/h2>
&lt;ul>
&lt;li>&lt;a href="https://terms-en.ai-term-hub.com/en/terms/agi-%E4%BA%BA%E5%B7%A5%E9%80%9A%E7%94%A8%E6%99%BA%E8%83%BD/">AGI (人工通用智能)&lt;/a>&lt;/li>
&lt;li>&lt;a href="https://terms-en.ai-term-hub.com/en/terms/recursive-self-improvement-%E9%80%92%E5%BD%92%E8%87%AA%E6%88%91%E6%94%B9%E8%BF%9B/">Recursive Self-Improvement (递归自我改进)&lt;/a>&lt;/li>
&lt;li>&lt;a href="https://terms-en.ai-term-hub.com/en/terms/algorithmic-information-theory-%E7%AE%97%E6%B3%95%E4%BF%A1%E6%81%AF%E8%AE%BA/">Algorithmic Information Theory (算法信息论)&lt;/a>&lt;/li>
&lt;li>&lt;a href="https://terms-en.ai-term-hub.com/en/terms/schmidhuber-%E4%BA%8E%E5%B0%94%E6%A0%B9-%E6%96%BD%E5%AF%86%E5%BE%B7%E8%83%A1%E4%BC%AF/">Schmidhuber (于尔根·施密德胡伯)&lt;/a>&lt;/li>
&lt;/ul></description></item></channel></rss>