DeepTheorem ist ein Datensatz zum mathematischen Denken, der die mathematischen Denkfähigkeiten von Large Language Models (LLMs) durch informelles Theorembeweisen auf der Grundlage natürlicher Sprache verbessern soll. Dieser Datensatz enthält 121.000 informelle Theoreme und Beweise auf IMO-Ebene aus verschiedenen mathematischen Bereichen. Jedes Theorem-Beweis-Paar ist streng wie folgt annotiert:

• o3-mini-Beweise: Vom o3-mini-Modell generierte oder verifizierte Beweise gewährleisten mathematische Genauigkeit.
• Wahrheitswert: Der Wahrheitswert des aus dem o3-mini-Beweis extrahierten Theorems, der angibt, ob das Theorem wahr oder falsch ist.
• Schwierigkeit: Nach Komplexität kategorisiert, um verschiedenen LLM-Fähigkeiten gerecht zu werden.
• Kategorien: Umfasst Algebra, Geometrie, Zahlentheorie usw.
• Variante: Eine positive oder negative Variante eines Theorems, die den gleichen oder den entgegengesetzten Wahrheitswert wie das ursprüngliche Theorem hat.