The examples unsolved by high compute o3 look a lot like the raven progressive matrix tests used in IQ tests.