AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Introduction
This is an audio version of debate update obfuscated arguments problem by Beth Barnes published on the 23rd of December 2020. This is one of the core readings for the AGI safety fundamentals course. We found various problems and improved the mechanism to fix these issues details on these are in the appendix. A dishonest debater can often create arguments that have a fatal error but where it is very hard to locate the error. It seems plausible that a substantial proportion of the things a model knows in quotes will have some long but locally human understandable argument for their correctness. Previously we hoped that debate or IDA could verify any knowledge for which such human understandable arguments exist even if these arguments are intractably large