https://wiki.issarice.com/index.php?action=history&feed=atom&title=Selection_effect_for_successful_formalizationsSelection effect for successful formalizations - Revision history2026-10-19T13:36:51ZRevision history for this page on the wikiMediaWiki 1.31.6https://wiki.issarice.com/index.php?title=Selection_effect_for_successful_formalizations&diff=2292&oldid=prevIssa at 20:41, 12 April 20212021-04-12T20:41:26Z<p></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="en">
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">← Older revision</td>
<td colspan="2" style="background-color: #fff; color: #222; text-align: center;">Revision as of 20:41, 12 April 2021</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2" >Line 2:</td>
<td colspan="2" class="diff-lineno">Line 2:</td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"></td></tr>
<tr><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>"I think pointing to some examples of great success does not imply… Like there are probably many similar things that didn’t work out and we don’t know about them cause nobody bothered to tell us about them because they failed. Seems plausible maybe." [https://lw2.issarice.com/posts/6skeZgctugzBBEBw3/ai-alignment-podcast-an-overview-of-technical-ai-alignment]</div></td><td class='diff-marker'> </td><td style="background-color: #f8f9fa; color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>"I think pointing to some examples of great success does not imply… Like there are probably many similar things that didn’t work out and we don’t know about them cause nobody bothered to tell us about them because they failed. Seems plausible maybe." [https://lw2.issarice.com/posts/6skeZgctugzBBEBw3/ai-alignment-podcast-an-overview-of-technical-ai-alignment]</div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;"></ins></div></td></tr>
<tr><td colspan="2"> </td><td class='diff-marker'>+</td><td style="color: #222; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">[[Category:AI safety]]</ins></div></td></tr>
</table>Issahttps://wiki.issarice.com/index.php?title=Selection_effect_for_successful_formalizations&diff=658&oldid=prevIssa: Created page with "It's possible to point to some successful formalizations of things, like formalizing math, or formalizing computation. But there is a selection effect here because we are..."2020-04-16T02:24:32Z<p>Created page with "It's possible to point to some successful formalizations of things, like formalizing math, or formalizing computation. But there is a <a href="/index.php?title=Selection_effect&action=edit&redlink=1" class="new" title="Selection effect (page does not exist)">selection effect</a> here because we are..."</p>
<p><b>New page</b></p><div>It's possible to point to some successful formalizations of things, like formalizing math, or formalizing computation. But there is a [[selection effect]] here because we are more likely to have heard of successes than failures. It would be interesting to have some kind of "full list" of all attempts (not sure how I would go about finding such a list).<br />
<br />
"I think pointing to some examples of great success does not imply… Like there are probably many similar things that didn’t work out and we don’t know about them cause nobody bothered to tell us about them because they failed. Seems plausible maybe." [https://lw2.issarice.com/posts/6skeZgctugzBBEBw3/ai-alignment-podcast-an-overview-of-technical-ai-alignment]</div>Issa