Wenn man an die großen Auszeichnungen in der Mathematik denkt, werden viele sofort an die Fields-Medaille denken – sie wird oft als „Nobelpreis der Mathematik“ bezeichnet.
Doch in der heutigen Zeit, in der KI immer stärker in das Denken, Beweisen und Lösen schwieriger Probleme einbezogen wird, beginnt sich vermutlich auch die Art zu verändern, wie Preise für mathematische Lösungen vergeben werden.
Kürzlich hat @justinsuntron den Justin Sun Prize angekündigt.
Vom Namen her klingt es zwar wie eine traditionelle Auszeichnung, aber die Funktionsweise ist ziemlich ähnlich wie das „Bounty“-Prinzip in der Krypto-Welt.
Ganz einfach so:
Ein schwieriges Problem wird veröffentlicht
→ Justin Sun legt eine Prämie fest
→ jeder kann mitmachen, um die Lösung zu finden, auch KI
→ wenn die Lösung von der mathematischen Community anerkannt wird, wird sie weiter in eine Form überführt, die von Maschinen überprüfbar ist.
Nur wenn die gesamte Beweisführung von einer Maschine als korrekt bestätigt wurde, wird die Belohnung offiziell freigeschaltet.
Was ich daran ziemlich gut finde, ist, dass der Preis in zwei sehr klar getrennte Teile aufgeteilt ist.
Jemand findet die Lösung.
Eine andere Person kann die Aufgabe „formalize“ übernehmen, also die gefundene Lösung in eine Form zu bringen, die der Computer lesen und prüfen kann.
Natürlich kann auch eine Person beides übernehmen.
Und es gibt auch keine Vorschrift, dass die Person, die die Lösung liefert, ein Mensch sein muss. Justin Sun stellt klar: Ob es Menschen, KI oder sogar die Zusammenarbeit beider ist, spielt keine Rolle – solange am Ende der Beweis korrekt ist.
Das ist auch der Punkt, der ihn ziemlich stark von traditionellen Mathematikpreisen unterscheidet.
Die Fields-Medaille wird nur alle vier Jahre vergeben und hat außerdem eine Altersgrenze. In diesem Modell wird dagegen jedes einzelne Problem fast zu einem eigenen Bounty.
Doch in der heutigen Zeit, in der KI immer stärker in das Denken, Beweisen und Lösen schwieriger Probleme einbezogen wird, beginnt sich vermutlich auch die Art zu verändern, wie Preise für mathematische Lösungen vergeben werden.
Kürzlich hat @justinsuntron den Justin Sun Prize angekündigt.
Vom Namen her klingt es zwar wie eine traditionelle Auszeichnung, aber die Funktionsweise ist ziemlich ähnlich wie das „Bounty“-Prinzip in der Krypto-Welt.
Ganz einfach so:
Ein schwieriges Problem wird veröffentlicht
→ Justin Sun legt eine Prämie fest
→ jeder kann mitmachen, um die Lösung zu finden, auch KI
→ wenn die Lösung von der mathematischen Community anerkannt wird, wird sie weiter in eine Form überführt, die von Maschinen überprüfbar ist.
Nur wenn die gesamte Beweisführung von einer Maschine als korrekt bestätigt wurde, wird die Belohnung offiziell freigeschaltet.
Was ich daran ziemlich gut finde, ist, dass der Preis in zwei sehr klar getrennte Teile aufgeteilt ist.
Jemand findet die Lösung.
Eine andere Person kann die Aufgabe „formalize“ übernehmen, also die gefundene Lösung in eine Form zu bringen, die der Computer lesen und prüfen kann.
Natürlich kann auch eine Person beides übernehmen.
Und es gibt auch keine Vorschrift, dass die Person, die die Lösung liefert, ein Mensch sein muss. Justin Sun stellt klar: Ob es Menschen, KI oder sogar die Zusammenarbeit beider ist, spielt keine Rolle – solange am Ende der Beweis korrekt ist.
Das ist auch der Punkt, der ihn ziemlich stark von traditionellen Mathematikpreisen unterscheidet.
Die Fields-Medaille wird nur alle vier Jahre vergeben und hat außerdem eine Altersgrenze. In diesem Modell wird dagegen jedes einzelne Problem fast zu einem eigenen Bounty.
