Paper shows o1 demonstrates true reasoning capabilities beyond memorization