On Wed, Oct 29, 2025 at 4:02 PM Matt Mahoney <[email protected]> wrote:
> ... > > I prefer simpler programs, but as Legg proved, good predictors are > necessarily complex. His proof goes something like this: suppose you have a > simple but powerful prediction algorithm. Then I can create a simple > sequence that your program can't predict. My program runs a copy of your > program and outputs the opposite of yours.... > Oh, well I should have suspected that Legg would already have made the case for losslessly compressing Wikipedia as an ideal benchmark for Forensic Epistemology! :) ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/T6cf3be509c7cd2f2-M8ae17d9e86ba78020beb33a7 Delivery options: https://agi.topicbox.com/groups/agi/subscription
