o1 ist ein experimentelles Projekt, das darauf abzielt, Inferenzketten mithilfe großer Sprachmodelle (LLMs) zu erstellen, um Modellen bei der Lösung von normalerweise schwer zu handhabenden logischen Problemen zu helfen. Es unterstützt Groq-, OpenAI- und Ollama-Backends und ermöglicht es Modellen durch dynamische Inferenzketten, über Probleme „nachzudenken“ und diese zu lösen. o1 zeigt, dass die logischen Schlussfolgerungsfähigkeiten bestehender Modelle allein durch Eingabeaufforderungen deutlich verbessert werden können, ohne dass ein zusätzliches Training erforderlich ist.