Eine Skill für Wettbewerbsmathematik, die voreingenommene Selbstverifikation vermeidet. Die Verifizierer sehen nur den bereinigten Beweis, nicht den Gedankengang. Sie verzichtet lieber auf eine Antwort, als zu bluffen.
Was es kann
Wo Math Olympiad läuft und was es ergänzt, laut Dokumentation
Kontextisolierte Verifikation von Beweisen
Mustergestützte adversarielle Prüfungen
Kalibrierter Verzicht statt Bluffen
Aufbereitungsdurchlauf, der nach der Verifikation LaTeX/PDF erzeugt
Wann Sie es einsetzen sollten
Gut geeignet
Aufgaben im Stil von IMO, Putnam oder USAMO lösen
Einen Beweis verifizieren
Nicht geeignet für
Fragen, die bei jeder Aufgabe eine sichere Antwort erfordern; es kann sein, dass keine sichere Lösung gemeldet wird
Das agentische Coding-Tool von Anthropic, das Ihre Codebasis liest, Dateien bearbeitet und Befehle ausführt, im Terminal, in IDEs, in der Desktop-App oder im Browser.
Kostenlos bis: Kein kostenloser Tarif: Claude Code ist in den bezahlten Claude-Abonnements (Pro, Max, Team, Enterprise) enth…
