孙割刚刚在 X 发布推文
Warum ich den Sun Yuxi-Preis stiften will
I
Nobel erfand den Sprengstoff. Sein Lebensvermögen, der Großteil davon, stammt aus genau dieser Sache.
Es heißt, im Jahr 1888 habe eine französische Zeitung seinen Nachruf aus Versehen mit dem Titel „Der Tote-Geschäftsmann ist tot“ veröffentlicht. Er las seinen eigenen Nachruf und errichtete Jahre später ein Testament.
Heute nennt ihn niemand mehr den Toten-Geschäftsmann.
„Nobel“ ist zu einem neutralen Begriff geworden, wie „Volt“ und „Watt“: ohne Gefühl, nur eine Einheit. Er gab das Geld an „Menschen, die den größten Beitrag für die Menschheit leisten“. Das Geld kehrte in die Hände der Menschheit zurück, und auch sein Name kehrte in die Neutralität zurück – nicht durch Verteidigung, sondern durch eine über hundertjährige Liste von Preisträgern.
Ich erzähle diese Geschichte, weil ich ihn verstehe. Ich weiß, woher das Geld kommt, und ich weiß auch, wohin es gehen kann.
II
Mein Vermögen hat seinen Ursprung in der Mathematik.
Die Blockchain-Branche als Ganzes basiert auf einigen wenigen kryptographischen Konstruktionen und Sicherheitsannahmen, die durch langjährige Forschung getragen werden: das auf elliptischen Kurven beruhende Problem des diskreten Logarithmus, das nicht leicht lösbar ist; Hash-Funktionen, die nicht rückgängig gemacht werden können; sowie die Schwierigkeit, große Zahlen zu faktorisieren. 1985 kamen zwei Mathematiker unabhängig voneinander auf die Idee, Ellipsenkurven zur Kryptographie zu verwenden – der eine an der Universität, der andere bei IBM, beide ohne voneinander zu wissen. Damals hielt niemand das für nützlich. Was sie damals an die Tafel schrieben, wurde später zu einem Markt von mehreren Billionen Dollar und zu etwas noch nie Dagewesenem: Eine Person kann vollständig über ihr eigenes Vermögen verfügen, ohne dass irgendjemand dafür eine Genehmigung braucht. Sie selbst bekamen keinen Cent.
Diese Freiheit ist eine der am stärksten unterschätzten Gaben der Mathematik an die Menschheit. Ich habe mir aus dieser Gabe viel genommen. Einen solchen Preis einzurichten, heißt zuerst: Schulden begleichen.
III
Der Nobelpreis hat keinen Mathematikpreis. Das ist ein Versäumnis vor über hundert Jahren – vielleicht aus privaten Gründen, vielleicht einfach weil man nicht daran gedacht hatte.
Später gab es den Fields-Preis, alle vier Jahre, für Menschen unter vierzig; und den Abel-Preis, jedes Jahr, für Lebensleistungen. Sie sind alle sehr gut, aber ihr Rhythmus entspricht dem Tempo der vorangegangenen Epoche.
In der Mathematik gab es tatsächlich einmal eine andere Art von Preis. Erdős setzte sein Leben lang Preise auf Probleme – von fünfundzwanzig Dollar bis zehntausend. Wer sie löste, bekam von ihm einen Scheck. Viele ließen sich diese Schecks an die Wand hängen und lösten nie ein, ein Leben lang. Er starb 1996, danach wurden solche Schecks immer seltener ausgestellt.
Und nun betritt die Mathematik eine andere Zeit. Künstliche Intelligenz kann keine Experimente machen, aber sie kann herleiten. Es ist für KI schwierig, Physikern eine Teilchenbeschleunigeranlage zu bauen, aber sie kann Mathematiker dabei unterstützen, zehntausend Wege auszuprobieren. Heute kann es von der Formulierung einer Vermutung bis zur Lösung Monate dauern – oder nur Tage. Ein Preis, der alle vier Jahre verliehen wird, wirkt angesichts solcher Geschwindigkeit wie eine Uhr, die alle vier Jahre schlägt: Sie hängt in einer Zeit, die in Tagen getaktet ist.
IV
Also sind die Regeln des Sun Yuxi-Preises ganz einfach.
Der Preis folgt den Aufgaben, nicht den Personen. Er wartet nicht auf Jahresversammlungen, nicht auf Nominierungen, nicht auf das Alter.
Für jede Aufgabe gibt es zwei Spalten zum Unterschreiben. Eine Spalte für den Beweisenden, eine Spalte für den Formalisierer – die Person, die den Beweis in die Maschine bringt. Die beiden Spalten können denselben Menschen enthalten oder durch die halbe Erde getrennt voneinander unkenntlich sein. Menschen können es, KI kann es, Menschen mit KI können es – in welcher Spalte, ist mir egal. Ein und derselbe Name kann immer wieder auftauchen, und es ist gleich, in welcher Spalte.
Das Geld hat nur einen einzigen Auslöser: Die Maschine prüft den Beweis von der ersten Zeile bis zur letzten, ohne auch nur einen Schritt abzuweichen. Nach bestandenem Check sind die Namen in beiden Spalten die Preisinhaber dieser Aufgabe. Dieser Standard wurde nicht von mir erfunden. Scholze hängt seine wichtigsten Sätze aus – und lässt sie in die Maschine übertragen; der Fermat’sche Große Satz wird gerade jetzt Zeile für Zeile hineinkopiert.
Solange die Maschine noch nicht geprüft hat, ist ein menschlicher Beweis nicht umsonst. In der Mathematik wird er akzeptiert: Zuerst wird der Name eingetragen, das Geld bleibt unangetastet, und im Statusfenster steht: bewiesen, wartet auf Formalisierung.
Das Geld in der Spalte für die Lösung wird nur für Aufgaben bezahlt, die nach dem Einstellen gelöst werden. Wenn die Aufgabe beim Einstellen bereits gelöst ist, wird der Name des Beweisenden wie üblich eingetragen, das Geld wird aber nur dem bezahlt, der sie in die Maschine bringt. Dieser Preis dokumentiert die Dinge, die nach seiner Einrichtung passieren, und schreibt der Mathematikgeschichte keine nachträglichen Bonuszahlungen.
Die Arbeitsteilung ist klar: Die Namen gehören der Mathematik, das Geld gehört der Maschine – und die Geldgeber haben mit beiden jeweils nichts zu tun. Von der menschlichen Beurteilung bleibt nur noch eine Sache: zu bestätigen, dass genau diese Aufgabe, die in die Maschine geschrieben wird, auch genau diese Aufgabe ist.
Es bleibt nur noch eine letzte Sache, die ich bestimme: die Aufgabenliste. Welche Aufgaben eingestellt werden, welche Preise dafür gelten – das wird von mir unterschrieben. Erdős’ Schecks: Auch die Preislisten wurden von ihm selbst aufgeschrieben, hier gibt es keine Ausnahmen. Aber sobald ein Regalbrett die Aufgabe anzeigt, ist alles fest versiegelt: Aufgaben werden nur hinzugefügt, nie reduziert; Geld wird nur ausgezahlt, nie zurückerstattet – einschließlich mir – niemand kann es ändern. Wenn eine Aufgabe falsch ist, wird sie trotzdem bezahlt und dann neu eingestellt.
Mein Geschmack steckt vollständig in genau dieser einen Sache. Außerhalb der Preisgestaltung: Verifikation, Geldüberweisung, Namenseintrag – bei allem habe ich kein Stimmrecht.
Das Ergebnis entscheidet.
V
Unter diesen Regeln mag ich das eine „und/oder“ am liebsten.
Nachdem eine Aufgabe gelöst und von der Mathematik akzeptiert wurde, bewegt sich das Geld nicht sofort. Der Name des Beweisenden wird zuerst eingetragen; die Spalte für die Formalisierung bleibt leer, im Statusfenster steht: bewiesen, wartet auf Formalisierung. Wer diesen Beweis in die Maschine bringt, die Maschine prüft es, und sobald die leere Spalte ihren Namen bekommt, startet auch die Reise der Geldzugehörigkeit – genau in diesem Moment.
In anderen Preisen bedeutet „warten“: Verzögerung, Prozess, notwendiges Übel. Hier ist „warten“ selbst eine Checkliste.
Erdős’ Schecks: Viele wurden an die Wand gehängt und nie eingelöst, ein Leben lang. Das Geld, das zum Aufhängen gedacht war und in die Vergangenheit blickt, ist Erinnerung; das Geld, das an der Kette hängt und nach vorn schaut, ist eine Einberufung. Die leere Spalte entspricht dem Spruch an die ganze Welt: Hier gibt es ein lebendiges Problem, es hat einen Wert.
Und so wächst diese Aufgabenliste gleichzeitig auch um etwas anderes: eine öffentliche Karte, auf der alles markiert ist, was die Menschheit bereits anerkannt hat, was aber die Maschine noch nicht anerkannt hat. Diese Karte existiert heute nicht. Sie besteht nur aus Fragmenten, die an mehreren Stellen verstreut liegen – nie einheitlich, und auch nie mit einem Preis versehen.
Formaliserer haben nie Mangel an Begeisterung, sondern es fehlt ihnen ein Bauplan mit Preisangaben. Wer diese Lücke füllt, bekommt das Geld. Von nun an: Wenn sie einen langen Beweis in die Maschine bringen, bleibt die Begeisterung ihre – die Rechnung gehört mir.
Warum ich den Sun Yuxi-Preis stiften will
I
Nobel erfand den Sprengstoff. Sein Lebensvermögen, der Großteil davon, stammt aus genau dieser Sache.
Es heißt, im Jahr 1888 habe eine französische Zeitung seinen Nachruf aus Versehen mit dem Titel „Der Tote-Geschäftsmann ist tot“ veröffentlicht. Er las seinen eigenen Nachruf und errichtete Jahre später ein Testament.
Heute nennt ihn niemand mehr den Toten-Geschäftsmann.
„Nobel“ ist zu einem neutralen Begriff geworden, wie „Volt“ und „Watt“: ohne Gefühl, nur eine Einheit. Er gab das Geld an „Menschen, die den größten Beitrag für die Menschheit leisten“. Das Geld kehrte in die Hände der Menschheit zurück, und auch sein Name kehrte in die Neutralität zurück – nicht durch Verteidigung, sondern durch eine über hundertjährige Liste von Preisträgern.
Ich erzähle diese Geschichte, weil ich ihn verstehe. Ich weiß, woher das Geld kommt, und ich weiß auch, wohin es gehen kann.
II
Mein Vermögen hat seinen Ursprung in der Mathematik.
Die Blockchain-Branche als Ganzes basiert auf einigen wenigen kryptographischen Konstruktionen und Sicherheitsannahmen, die durch langjährige Forschung getragen werden: das auf elliptischen Kurven beruhende Problem des diskreten Logarithmus, das nicht leicht lösbar ist; Hash-Funktionen, die nicht rückgängig gemacht werden können; sowie die Schwierigkeit, große Zahlen zu faktorisieren. 1985 kamen zwei Mathematiker unabhängig voneinander auf die Idee, Ellipsenkurven zur Kryptographie zu verwenden – der eine an der Universität, der andere bei IBM, beide ohne voneinander zu wissen. Damals hielt niemand das für nützlich. Was sie damals an die Tafel schrieben, wurde später zu einem Markt von mehreren Billionen Dollar und zu etwas noch nie Dagewesenem: Eine Person kann vollständig über ihr eigenes Vermögen verfügen, ohne dass irgendjemand dafür eine Genehmigung braucht. Sie selbst bekamen keinen Cent.
Diese Freiheit ist eine der am stärksten unterschätzten Gaben der Mathematik an die Menschheit. Ich habe mir aus dieser Gabe viel genommen. Einen solchen Preis einzurichten, heißt zuerst: Schulden begleichen.
III
Der Nobelpreis hat keinen Mathematikpreis. Das ist ein Versäumnis vor über hundert Jahren – vielleicht aus privaten Gründen, vielleicht einfach weil man nicht daran gedacht hatte.
Später gab es den Fields-Preis, alle vier Jahre, für Menschen unter vierzig; und den Abel-Preis, jedes Jahr, für Lebensleistungen. Sie sind alle sehr gut, aber ihr Rhythmus entspricht dem Tempo der vorangegangenen Epoche.
In der Mathematik gab es tatsächlich einmal eine andere Art von Preis. Erdős setzte sein Leben lang Preise auf Probleme – von fünfundzwanzig Dollar bis zehntausend. Wer sie löste, bekam von ihm einen Scheck. Viele ließen sich diese Schecks an die Wand hängen und lösten nie ein, ein Leben lang. Er starb 1996, danach wurden solche Schecks immer seltener ausgestellt.
Und nun betritt die Mathematik eine andere Zeit. Künstliche Intelligenz kann keine Experimente machen, aber sie kann herleiten. Es ist für KI schwierig, Physikern eine Teilchenbeschleunigeranlage zu bauen, aber sie kann Mathematiker dabei unterstützen, zehntausend Wege auszuprobieren. Heute kann es von der Formulierung einer Vermutung bis zur Lösung Monate dauern – oder nur Tage. Ein Preis, der alle vier Jahre verliehen wird, wirkt angesichts solcher Geschwindigkeit wie eine Uhr, die alle vier Jahre schlägt: Sie hängt in einer Zeit, die in Tagen getaktet ist.
IV
Also sind die Regeln des Sun Yuxi-Preises ganz einfach.
Der Preis folgt den Aufgaben, nicht den Personen. Er wartet nicht auf Jahresversammlungen, nicht auf Nominierungen, nicht auf das Alter.
Für jede Aufgabe gibt es zwei Spalten zum Unterschreiben. Eine Spalte für den Beweisenden, eine Spalte für den Formalisierer – die Person, die den Beweis in die Maschine bringt. Die beiden Spalten können denselben Menschen enthalten oder durch die halbe Erde getrennt voneinander unkenntlich sein. Menschen können es, KI kann es, Menschen mit KI können es – in welcher Spalte, ist mir egal. Ein und derselbe Name kann immer wieder auftauchen, und es ist gleich, in welcher Spalte.
Das Geld hat nur einen einzigen Auslöser: Die Maschine prüft den Beweis von der ersten Zeile bis zur letzten, ohne auch nur einen Schritt abzuweichen. Nach bestandenem Check sind die Namen in beiden Spalten die Preisinhaber dieser Aufgabe. Dieser Standard wurde nicht von mir erfunden. Scholze hängt seine wichtigsten Sätze aus – und lässt sie in die Maschine übertragen; der Fermat’sche Große Satz wird gerade jetzt Zeile für Zeile hineinkopiert.
Solange die Maschine noch nicht geprüft hat, ist ein menschlicher Beweis nicht umsonst. In der Mathematik wird er akzeptiert: Zuerst wird der Name eingetragen, das Geld bleibt unangetastet, und im Statusfenster steht: bewiesen, wartet auf Formalisierung.
Das Geld in der Spalte für die Lösung wird nur für Aufgaben bezahlt, die nach dem Einstellen gelöst werden. Wenn die Aufgabe beim Einstellen bereits gelöst ist, wird der Name des Beweisenden wie üblich eingetragen, das Geld wird aber nur dem bezahlt, der sie in die Maschine bringt. Dieser Preis dokumentiert die Dinge, die nach seiner Einrichtung passieren, und schreibt der Mathematikgeschichte keine nachträglichen Bonuszahlungen.
Die Arbeitsteilung ist klar: Die Namen gehören der Mathematik, das Geld gehört der Maschine – und die Geldgeber haben mit beiden jeweils nichts zu tun. Von der menschlichen Beurteilung bleibt nur noch eine Sache: zu bestätigen, dass genau diese Aufgabe, die in die Maschine geschrieben wird, auch genau diese Aufgabe ist.
Es bleibt nur noch eine letzte Sache, die ich bestimme: die Aufgabenliste. Welche Aufgaben eingestellt werden, welche Preise dafür gelten – das wird von mir unterschrieben. Erdős’ Schecks: Auch die Preislisten wurden von ihm selbst aufgeschrieben, hier gibt es keine Ausnahmen. Aber sobald ein Regalbrett die Aufgabe anzeigt, ist alles fest versiegelt: Aufgaben werden nur hinzugefügt, nie reduziert; Geld wird nur ausgezahlt, nie zurückerstattet – einschließlich mir – niemand kann es ändern. Wenn eine Aufgabe falsch ist, wird sie trotzdem bezahlt und dann neu eingestellt.
Mein Geschmack steckt vollständig in genau dieser einen Sache. Außerhalb der Preisgestaltung: Verifikation, Geldüberweisung, Namenseintrag – bei allem habe ich kein Stimmrecht.
Das Ergebnis entscheidet.
V
Unter diesen Regeln mag ich das eine „und/oder“ am liebsten.
Nachdem eine Aufgabe gelöst und von der Mathematik akzeptiert wurde, bewegt sich das Geld nicht sofort. Der Name des Beweisenden wird zuerst eingetragen; die Spalte für die Formalisierung bleibt leer, im Statusfenster steht: bewiesen, wartet auf Formalisierung. Wer diesen Beweis in die Maschine bringt, die Maschine prüft es, und sobald die leere Spalte ihren Namen bekommt, startet auch die Reise der Geldzugehörigkeit – genau in diesem Moment.
In anderen Preisen bedeutet „warten“: Verzögerung, Prozess, notwendiges Übel. Hier ist „warten“ selbst eine Checkliste.
Erdős’ Schecks: Viele wurden an die Wand gehängt und nie eingelöst, ein Leben lang. Das Geld, das zum Aufhängen gedacht war und in die Vergangenheit blickt, ist Erinnerung; das Geld, das an der Kette hängt und nach vorn schaut, ist eine Einberufung. Die leere Spalte entspricht dem Spruch an die ganze Welt: Hier gibt es ein lebendiges Problem, es hat einen Wert.
Und so wächst diese Aufgabenliste gleichzeitig auch um etwas anderes: eine öffentliche Karte, auf der alles markiert ist, was die Menschheit bereits anerkannt hat, was aber die Maschine noch nicht anerkannt hat. Diese Karte existiert heute nicht. Sie besteht nur aus Fragmenten, die an mehreren Stellen verstreut liegen – nie einheitlich, und auch nie mit einem Preis versehen.
Formaliserer haben nie Mangel an Begeisterung, sondern es fehlt ihnen ein Bauplan mit Preisangaben. Wer diese Lücke füllt, bekommt das Geld. Von nun an: Wenn sie einen langen Beweis in die Maschine bringen, bleibt die Begeisterung ihre – die Rechnung gehört mir.
