DeepTheorem은 자연어를 기반으로 한 비공식적인 정리 증명을 통해 대규모 언어 모델(LLM)의 수학적 추론 능력을 향상시키는 것을 목표로 하는 수학적 추론 데이터 세트입니다.

이 데이터셋은 다양한 수학 분야를 포괄하는 121,000개의 IMO 수준 비공식 정리와 증명을 포함합니다. 각 정리-증명 쌍은 다음과 같이 엄격하게 주석 처리되어 있습니다.

• o3-mini 증명: o3-mini 모델에서 생성되거나 검증된 증명은 수학적 정확성을 보장합니다.
• 진리값: o3-mini 증명에서 추출한 정리의 진리값으로, 정리가 참인지 거짓인지를 나타냅니다.
• 난이도: 다양한 LLM 능력에 맞춰 복잡성에 따라 분류됩니다.
• 분류: 대수학, 기하학, 수론 등을 다룹니다.
• 변형: 원래 정리와 같거나 반대되는 진리값을 갖는 정리의 긍정적 또는 부정적 변형입니다.