Sun divise tout juste sur X, un tweet
Pourquoi j’ai créé le prix Sun Yuchen
en
Nobel a inventé la dynamite. La majeure partie de la fortune de toute sa vie venait de cette chose.
On dit qu’en 1888, un journal français s’est trompé et a publié son avis de décès, titré « Le marchand de la mort est mort ». Il l’a lu. Quelques années plus tard, il a rédigé un testament.
Aujourd’hui, plus personne ne l’appelle le marchand de la mort.
« Nobel » est devenu un nom neutre, comme « volt » et « watt », sans émotion, juste une unité. Il a donné l’argent à ceux qui « apportent la plus grande contribution à l’humanité » ; l’argent est revenu entre les mains de l’humanité, et son nom est, lui aussi, revenu à la neutralité. Ce n’est pas grâce à une défense : c’est grâce à plus d’un siècle de listes de lauréats.
Je raconte cette histoire parce que je le comprends. Je sais d’où vient l’argent, et je sais où il peut aller.
en deux
Ma richesse a pour origine les mathématiques.
L’industrie de la blockchain repose, dans son ensemble, sur quelques constructions cryptographiques et hypothèses de sécurité appuyées par des recherches de longue durée : le logarithme discret sur les courbes elliptiques est difficile à résoudre, les fonctions de hachage sont irréversibles, la factorisation des grands nombres est difficile. En 1985, deux mathématiciens ont chacun eu, de leur côté, l’idée d’utiliser des courbes elliptiques pour la cryptographie : l’un à l’université, l’autre chez IBM, sans se connaître. À l’époque, personne ne pensait que cela servirait à quelque chose. Ce qu’ils avaient écrit au tableau est devenu ensuite un marché d’un billion de dollars : quelque chose d’inédit—une personne peut totalement maîtriser sa richesse, sans avoir besoin de l’autorisation de qui que ce soit. Eux-mêmes n’ont gagné pas un centime.
Cette liberté est l’un des dons des mathématiques les plus sous-estimés pour l’humanité. J’ai pris beaucoup à partir de ce don. Créer ce prix, c’est d’abord rembourser une dette.
en trois
Le prix Nobel n’a pas de catégorie « mathématiques ». C’est une omission vieille de plus d’un siècle, peut-être due à des raisons privées, peut-être simplement au fait qu’on n’y avait pas pensé.
Plus tard est apparu le prix Fields, tous les quatre ans, pour les moins de quarante ans ; puis le prix Abel, chaque année, récompensant l’ensemble d’une œuvre. Ils sont très bien, mais leur rythme reste celui de l’époque précédente.
En réalité, la communauté mathématique a déjà eu un autre type de prix. Erdos a, toute sa vie, fixé le prix des problèmes : de vingt-cinq dollars à dix mille, et qui les résolvait recevait un chèque. Beaucoup de gens ont encadré ces chèques au mur, sans jamais les encaisser. Il est mort en 1996 ; ensuite, ce type de chèque a été émis de moins en moins.
Or les mathématiques entrent dans une ère différente. L’intelligence artificielle ne peut pas mener d’expériences, mais elle peut déduire ; il lui est difficile de construire une machine d’essai pour les physiciens, mais elle peut explorer dix mille pistes pour les mathématiciens. Aujourd’hui, d’une conjecture à sa résolution, il peut s’écouler quelques mois, ou quelques jours. Un prix remis tous les quatre ans, face à une vitesse comme celle-ci, ressemble à une horloge frappant toutes les quatre années, suspendue dans une époque qui compte le temps en jours.
en quatre
Donc les règles du prix Sun Yuchen sont très simples.
Le prix suit les sujets, pas les personnes. Il n’attend ni l’année, ni les nominations, ni l’âge.
Pour chaque problème, deux colonnes : l’une pour le prouveur, l’autre pour le formalisateur—la personne qui fait entrer la preuve dans la machine. Les deux colonnes peuvent être le même individu, ou des personnes séparées par l’autre bout de la planète, qui ne se connaissent pas. Les humains peuvent, l’IA peut, les humains avec l’IA peuvent aussi ; dans tous les cas, je ne me soucie pas de l’espèce de l’un ou l’autre. Le même nom peut apparaître une fois, puis encore, peu importe dans quelle colonne.
Il n’y a qu’un déclencheur pour l’argent : la machine vérifie la preuve, de la première ligne à la dernière, sans un seul écart. Une fois le contrôle passé, les listes des deux colonnes deviennent les bénéficiaires de la récompense pour ce problème. Ce standard n’a pas été inventé par moi. Scholze a affiché lui-même son théorème le plus important, puis a demandé qu’on l’intègre dans une machine ; le théorème de Fermat, lui, est en ce moment même mis ligne par ligne dedans.
Avant que la machine n’ait validé, les preuves des humains ne sont pas vaines non plus. La communauté mathématique les accepte : le nom est d’abord affiché, l’argent ne bouge pas, et la colonne d’état indique : « Démontré, en attente de formalisation. »
L’argent de la colonne « résoudre le problème » n’est payé que pour les problèmes qui ont été mis en ligne après leur résolution. Pour ceux déjà résolus au moment de la mise en ligne, le nom du prouveur est conservé, et l’argent n’est payé qu’à la personne qui l’a fait entrer dans la machine. Ce prix consigne ce qui se passe après sa création : il ne renvoie pas de bonus à l’histoire des mathématiques.
La répartition est nette : les noms reviennent aux mathématiques, l’argent revient à la machine ; le financeur ne touche ni l’un ni l’autre. Le seul jugement humain qui reste, c’est de confirmer que le problème à écrire dans la machine est bien ce problème.
Il ne reste qu’une dernière chose que je décide moi-même : la liste des sujets. Quel problème est mis en ligne, quel prix il a, tout cela est signé par moi. Les chèques d’Erdos, les montants étaient aussi écrits par lui-même : ici, pas de place pour des exceptions. Mais une fois qu’un étalage de problèmes est affiché, tout est verrouillé : les problèmes n’ajoutent que jamais, l’argent ne se rembourse jamais—y compris pour moi. Personne ne peut changer quoi que ce soit. Si un sujet a été écrit par erreur, on paie quand même, puis on le remet en ligne.
Mon goût se dépense entièrement sur cette seule question. Au-delà de la tarification, la vérification, l’envoi de l’argent, l’ajout des noms—je n’ai mis aucun vote.
Le résultat, c’est ce que je décide.
en cinq
Dans cet ensemble de règles, le mot que je préfère le plus, c’est un « attendre ».
Quand un problème est résolu et accepté par les mathématiques, l’argent ne bouge pas immédiatement. Le nom du prouveur est d’abord affiché ; dans la colonne de formalisation, rien n’est encore rempli. La colonne d’état indique : « Démontré, en attente de formalisation. » Quand quelqu’un fait entrer cette preuve dans la machine, quand la machine l’a vérifiée, le nom tombe dans la colonne vide, et le voyage de l’attribution de l’argent démarre à cet instant précis.
Dans d’autres prix, « attendre » est un retard : c’est un processus, un mal nécessaire. Ici, « attendre » est une liste.
Les chèques d’Erdos, beaucoup de gens les ont encadrés au mur sans jamais les encaisser. L’argent encadré, quand on le regarde vers l’arrière, c’est un souvenir ; l’argent accroché sur la chaîne, quand on le regarde vers l’avant, c’est un rassemblement. La colonne restée vide, c’est dire au monde entier : ici, il y a une vie, avec un prix.
Ainsi, cette liste de sujets fait naître en même temps une autre chose : une carte publique, indiquant tout ce que l’humanité a déjà reconnu, mais que la machine n’a pas encore reconnu. Cette carte n’existe pas aujourd’hui. Elle n’est que des fragments, disséminés en plusieurs endroits, jamais unifiés, et jamais accompagnés d’un prix.
Les personnes qui formalisent ne manquent jamais d’enthousiasme ; ce qui leur manque, c’est un plan de chantier avec un tarif. Celui qui remplit cette case, celui-là récupère l’argent. À partir de maintenant, en faisant entrer les longues preuves dans la machine, l’enthousiasme reste le leur, et la facture me revient.
Pourquoi j’ai créé le prix Sun Yuchen
en
Nobel a inventé la dynamite. La majeure partie de la fortune de toute sa vie venait de cette chose.
On dit qu’en 1888, un journal français s’est trompé et a publié son avis de décès, titré « Le marchand de la mort est mort ». Il l’a lu. Quelques années plus tard, il a rédigé un testament.
Aujourd’hui, plus personne ne l’appelle le marchand de la mort.
« Nobel » est devenu un nom neutre, comme « volt » et « watt », sans émotion, juste une unité. Il a donné l’argent à ceux qui « apportent la plus grande contribution à l’humanité » ; l’argent est revenu entre les mains de l’humanité, et son nom est, lui aussi, revenu à la neutralité. Ce n’est pas grâce à une défense : c’est grâce à plus d’un siècle de listes de lauréats.
Je raconte cette histoire parce que je le comprends. Je sais d’où vient l’argent, et je sais où il peut aller.
en deux
Ma richesse a pour origine les mathématiques.
L’industrie de la blockchain repose, dans son ensemble, sur quelques constructions cryptographiques et hypothèses de sécurité appuyées par des recherches de longue durée : le logarithme discret sur les courbes elliptiques est difficile à résoudre, les fonctions de hachage sont irréversibles, la factorisation des grands nombres est difficile. En 1985, deux mathématiciens ont chacun eu, de leur côté, l’idée d’utiliser des courbes elliptiques pour la cryptographie : l’un à l’université, l’autre chez IBM, sans se connaître. À l’époque, personne ne pensait que cela servirait à quelque chose. Ce qu’ils avaient écrit au tableau est devenu ensuite un marché d’un billion de dollars : quelque chose d’inédit—une personne peut totalement maîtriser sa richesse, sans avoir besoin de l’autorisation de qui que ce soit. Eux-mêmes n’ont gagné pas un centime.
Cette liberté est l’un des dons des mathématiques les plus sous-estimés pour l’humanité. J’ai pris beaucoup à partir de ce don. Créer ce prix, c’est d’abord rembourser une dette.
en trois
Le prix Nobel n’a pas de catégorie « mathématiques ». C’est une omission vieille de plus d’un siècle, peut-être due à des raisons privées, peut-être simplement au fait qu’on n’y avait pas pensé.
Plus tard est apparu le prix Fields, tous les quatre ans, pour les moins de quarante ans ; puis le prix Abel, chaque année, récompensant l’ensemble d’une œuvre. Ils sont très bien, mais leur rythme reste celui de l’époque précédente.
En réalité, la communauté mathématique a déjà eu un autre type de prix. Erdos a, toute sa vie, fixé le prix des problèmes : de vingt-cinq dollars à dix mille, et qui les résolvait recevait un chèque. Beaucoup de gens ont encadré ces chèques au mur, sans jamais les encaisser. Il est mort en 1996 ; ensuite, ce type de chèque a été émis de moins en moins.
Or les mathématiques entrent dans une ère différente. L’intelligence artificielle ne peut pas mener d’expériences, mais elle peut déduire ; il lui est difficile de construire une machine d’essai pour les physiciens, mais elle peut explorer dix mille pistes pour les mathématiciens. Aujourd’hui, d’une conjecture à sa résolution, il peut s’écouler quelques mois, ou quelques jours. Un prix remis tous les quatre ans, face à une vitesse comme celle-ci, ressemble à une horloge frappant toutes les quatre années, suspendue dans une époque qui compte le temps en jours.
en quatre
Donc les règles du prix Sun Yuchen sont très simples.
Le prix suit les sujets, pas les personnes. Il n’attend ni l’année, ni les nominations, ni l’âge.
Pour chaque problème, deux colonnes : l’une pour le prouveur, l’autre pour le formalisateur—la personne qui fait entrer la preuve dans la machine. Les deux colonnes peuvent être le même individu, ou des personnes séparées par l’autre bout de la planète, qui ne se connaissent pas. Les humains peuvent, l’IA peut, les humains avec l’IA peuvent aussi ; dans tous les cas, je ne me soucie pas de l’espèce de l’un ou l’autre. Le même nom peut apparaître une fois, puis encore, peu importe dans quelle colonne.
Il n’y a qu’un déclencheur pour l’argent : la machine vérifie la preuve, de la première ligne à la dernière, sans un seul écart. Une fois le contrôle passé, les listes des deux colonnes deviennent les bénéficiaires de la récompense pour ce problème. Ce standard n’a pas été inventé par moi. Scholze a affiché lui-même son théorème le plus important, puis a demandé qu’on l’intègre dans une machine ; le théorème de Fermat, lui, est en ce moment même mis ligne par ligne dedans.
Avant que la machine n’ait validé, les preuves des humains ne sont pas vaines non plus. La communauté mathématique les accepte : le nom est d’abord affiché, l’argent ne bouge pas, et la colonne d’état indique : « Démontré, en attente de formalisation. »
L’argent de la colonne « résoudre le problème » n’est payé que pour les problèmes qui ont été mis en ligne après leur résolution. Pour ceux déjà résolus au moment de la mise en ligne, le nom du prouveur est conservé, et l’argent n’est payé qu’à la personne qui l’a fait entrer dans la machine. Ce prix consigne ce qui se passe après sa création : il ne renvoie pas de bonus à l’histoire des mathématiques.
La répartition est nette : les noms reviennent aux mathématiques, l’argent revient à la machine ; le financeur ne touche ni l’un ni l’autre. Le seul jugement humain qui reste, c’est de confirmer que le problème à écrire dans la machine est bien ce problème.
Il ne reste qu’une dernière chose que je décide moi-même : la liste des sujets. Quel problème est mis en ligne, quel prix il a, tout cela est signé par moi. Les chèques d’Erdos, les montants étaient aussi écrits par lui-même : ici, pas de place pour des exceptions. Mais une fois qu’un étalage de problèmes est affiché, tout est verrouillé : les problèmes n’ajoutent que jamais, l’argent ne se rembourse jamais—y compris pour moi. Personne ne peut changer quoi que ce soit. Si un sujet a été écrit par erreur, on paie quand même, puis on le remet en ligne.
Mon goût se dépense entièrement sur cette seule question. Au-delà de la tarification, la vérification, l’envoi de l’argent, l’ajout des noms—je n’ai mis aucun vote.
Le résultat, c’est ce que je décide.
en cinq
Dans cet ensemble de règles, le mot que je préfère le plus, c’est un « attendre ».
Quand un problème est résolu et accepté par les mathématiques, l’argent ne bouge pas immédiatement. Le nom du prouveur est d’abord affiché ; dans la colonne de formalisation, rien n’est encore rempli. La colonne d’état indique : « Démontré, en attente de formalisation. » Quand quelqu’un fait entrer cette preuve dans la machine, quand la machine l’a vérifiée, le nom tombe dans la colonne vide, et le voyage de l’attribution de l’argent démarre à cet instant précis.
Dans d’autres prix, « attendre » est un retard : c’est un processus, un mal nécessaire. Ici, « attendre » est une liste.
Les chèques d’Erdos, beaucoup de gens les ont encadrés au mur sans jamais les encaisser. L’argent encadré, quand on le regarde vers l’arrière, c’est un souvenir ; l’argent accroché sur la chaîne, quand on le regarde vers l’avant, c’est un rassemblement. La colonne restée vide, c’est dire au monde entier : ici, il y a une vie, avec un prix.
Ainsi, cette liste de sujets fait naître en même temps une autre chose : une carte publique, indiquant tout ce que l’humanité a déjà reconnu, mais que la machine n’a pas encore reconnu. Cette carte n’existe pas aujourd’hui. Elle n’est que des fragments, disséminés en plusieurs endroits, jamais unifiés, et jamais accompagnés d’un prix.
Les personnes qui formalisent ne manquent jamais d’enthousiasme ; ce qui leur manque, c’est un plan de chantier avec un tarif. Celui qui remplit cette case, celui-là récupère l’argent. À partir de maintenant, en faisant entrer les longues preuves dans la machine, l’enthousiasme reste le leur, et la facture me revient.
