Yeah, that was basically what I meant. My hypothesis was that if you gave AM to someone with good mathematical aptitude but little prior knowledge, they would discover a lot more interesting mathematical statements than they would have without AM’s help, by analogy to Lenat discovering more interesting logical consequences of the wargaming rules with EURISKO’s help than any of the experienced players discovered themselves.
Yeah, that was basically what I meant. My hypothesis was that if you gave AM to someone with good mathematical aptitude but little prior knowledge, they would discover a lot more interesting mathematical statements than they would have without AM’s help, by analogy to Lenat discovering more interesting logical consequences of the wargaming rules with EURISKO’s help than any of the experienced players discovered themselves.