ArchiveSequencesAbout

QuestionsEventsShortformAlignment ForumAF Comments

HomeFeaturedAllTagsRecent Comments

Nisan comments on A Request for Open Problems

Nisan 24 Aug 2022 7:46 UTC
10 points
It only took 7 years to make substantial progress on this problem: Logical Induction by Garrabrant et al..