Was ist der Justin Sun Prize?
Ganz einfach: @justinsuntron hat Preisgeld für alle bereitgestellt, die herausfordernde mathematische Probleme erfolgreich nachweisen können.
Das System erkennt zwei Mitwirkende an:
1. Prover: Die Person, die die Aufgabe löst und den Beweis erbringt
2. Formalizer: Die Person, die den Beweis in ein Format überführt, das ein Computer formell prüfen kann
Der Mitwirkende kann ein Mensch, eine KI oder eine Kombination aus beidem sein.
Solange der endgültige Beweis von einem Computer mit 100% Korrektheit verifiziert werden kann. 🤖
Interessant ist, dass das Preisgeld weiterhin gesperrt bleibt und der Status angezeigt wird als:
„Bewiesen, ausstehende Formalisierung.“
Das bedeutet: Jeder kann sehen, dass die Aufgabe gelöst wurde, aber es gibt immer noch eine Belohnung dafür, dass jemand den Beweis maschinenverifizierbar macht.
Das Preisgeld ist auf der Blockchain gesperrt, wo es jeder überprüfen kann. Sobald der Beweis die Verifizierung besteht, wird der Preis freigegeben. 💰
Das Ziel des Justin Sun Prize besteht im Grunde darin, einen Preismarkt für mathematische Probleme zu schaffen und so den Prozess zu beschleunigen, bei dem menschliche mathematische Beweise in etwas verwandelt werden, das KI und Computer formell verifizieren können. 🥳
Kurz gesagt:
Mensch beweist es → Jemand formalisiert es → Maschine verifiziert es → Der Preis wird ausgezahlt 💰
#TRON #TGF
Ganz einfach: @justinsuntron hat Preisgeld für alle bereitgestellt, die herausfordernde mathematische Probleme erfolgreich nachweisen können.
Das System erkennt zwei Mitwirkende an:
1. Prover: Die Person, die die Aufgabe löst und den Beweis erbringt
2. Formalizer: Die Person, die den Beweis in ein Format überführt, das ein Computer formell prüfen kann
Der Mitwirkende kann ein Mensch, eine KI oder eine Kombination aus beidem sein.
Solange der endgültige Beweis von einem Computer mit 100% Korrektheit verifiziert werden kann. 🤖
Interessant ist, dass das Preisgeld weiterhin gesperrt bleibt und der Status angezeigt wird als:
„Bewiesen, ausstehende Formalisierung.“
Das bedeutet: Jeder kann sehen, dass die Aufgabe gelöst wurde, aber es gibt immer noch eine Belohnung dafür, dass jemand den Beweis maschinenverifizierbar macht.
Das Preisgeld ist auf der Blockchain gesperrt, wo es jeder überprüfen kann. Sobald der Beweis die Verifizierung besteht, wird der Preis freigegeben. 💰
Das Ziel des Justin Sun Prize besteht im Grunde darin, einen Preismarkt für mathematische Probleme zu schaffen und so den Prozess zu beschleunigen, bei dem menschliche mathematische Beweise in etwas verwandelt werden, das KI und Computer formell verifizieren können. 🥳
Kurz gesagt:
Mensch beweist es → Jemand formalisiert es → Maschine verifiziert es → Der Preis wird ausgezahlt 💰
#TRON #TGF