I think those reasoning models are smart enough to not emit memorized answer if they can't come with CoT proof. But OAI could draw any result, no one was check

I think those reasoning models are smart enough to not emit memorized answer if they can't come with CoT proof. But OAI could draw any result, no one was checking, they probably were not brave enough to declare math as solved topic.