Beta-Version. Problem Forge ist neu und nur mit Einladung offen. Die Beta-Testphase läuft bis einschließlich 2026-11-30; die volle Öffnung ist am 2026-12-01 00:00 UTC. Es kann etwas kaputtgehen, und dann korrigieren wir vielleicht die Ranglisten. Die Schwierigkeit mancher Sprossen kann falsch sein. Während der Beta gibt es keine Preise, und die Prämie ist nicht offen. Dein Konto und dein Fortschritt bleiben, wenn die Beta endet. Bitte sag uns, was gut läuft und was schiefgeht: admin@problemforge.com.
Rechtliche Prüfung ausstehend
Pending legal review

Prämienprobleme

BOUNTY-SAT-0001

Diese Prämie ist 1000 $ (USD) wert und wird gerade rechtlich geprüft.

Du kannst dir das Problem jetzt ansehen und es herunterladen, aber Einsendungen sind derzeit gesperrt.

Die offizielle Ausschreibung erfolgt voraussichtlich im Dezember 2026.

Wenn die Prämie offiziell öffnet, soll die erste berechtigte Person, die eine richtige Lösung sendet, den Preis gewinnen. (Die Mitarbeiter und verbundenen Personen von Problem Forge, LLC sind nicht berechtigt.) Sobald eine richtige Lösung aus irgendeiner Quelle eingeht, wird die Prämie zurückgezogen. Dies ist ein Geschicklichkeitswettbewerb, keine Lotterie. Da es oft auf den genauen Wortlaut ankommt, warte bitte, bis die Bedingungen geprüft und veröffentlicht sind.

Preis: US$1,000. Ungültig, wo verboten. Der Gewinner ist für alle Steuern verantwortlich, die den Betrag erheblich verringern können.

Während der Beta gibt es keine Preise.

Das Problem BOUNTY-SAT-0001

DIMACS CNF · 2983 Variablen · 16617 Klauseln · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · Fassung 1 der Problemdatei

Melde dich zuerst an.

Status

Noch nicht offen für Antworten. Bisher gesendete Anträge: 0.

So stellst du einen Antrag

  1. Melde dich an.
  2. Prüfe deine Antwort auf der Seite „Prüfen“. Oder starte forge-check sat BOUNTY-SAT-0001.cnf <number>. Es muss yes sagen.

Schreib die Antwort wie bei SAT: Bit v−1 ist der Wert von Variable v.

Bedingungen

Fassung 0 ist ein Entwurf: lesen. Nur die erste Lösung, die auf dieser Website eingeht und bestätigt wird, hat Anspruch auf die Prämie.