OpenAI的大语言模型在国际数学奥林匹克竞赛中获金牌，超越了专为数学设计的AlphaProof模型。OpenAI模型通过自然语言思考，灵活应对问题，强调了数学发现过程中的直觉和探索能力。竞赛考验的是发现能力，而非证明的严谨性。