Une entreprise annonce avoir résolu un problème du millénaire. Deux chercheurs contestent le contexte. Des agences accusent des laboratoires étrangers de siphonner des modèles. Une plateforme musicale annonce des modèles licenciés tout en affrontant plus de procès qu'avant. Quatre revendications, quatre fois la même question : qu'est-ce qui est vérifiable par quelqu'un d'autre ?
L'annonce qui domine tout
OpenAI affirme qu'un système interne a résolu le problème de Navier-Stokes, avec environ 10 000 agents coordonnés pendant 88 heures et une preuve formalisée en Lean.
Rien n'est validé. Le règlement du prix impose une publication et deux ans d'acceptation par la communauté, comme nous l'expliquions dans notre article sur ces sept problèmes. La question qui décidera est courte : l'énoncé formalisé correspond-il au problème posé ?
Et l'annonce s'accompagne d'une contestation. Les deux chercheurs qui avaient publié un résultat voisin sur les équations d'Euler s'interrogent sur le contexte. Nous ne tranchons pas, et nous avons consacré un article à la question générale : une question de recherche n'appartient à personne, ce qui doit se discuter ce sont les normes de conduite dans une compétition devenue très asymétrique.
Le fil de la vérification
C'est ce qui relie la semaine. La vérification formelle propose une réponse concrète : on ne fait pas confiance au modèle, on fait confiance à un vérificateur dont le noyau tient en quelques centaines de lignes.
Par contraste, un détecteur de texte annoncé comme contourné rappelle qu'un signal statistique se dégrade toujours plus facilement qu'il ne se préserve. Et l'extraction de modèles montre qu'un système qui répond bien expose son savoir-faire.
Mistral lève 3 milliards d'euros, la plus grosse levée technologique européenne. La Chine vise 9 800 exaflops d'ici 2030 et prépare un cluster de 100 000 accélérateurs nationaux. Qualcomm et Amazon s'associent sur l'inférence. Les ordres de grandeur restent incomparables, ce qui nous a conduits à demander s'il faut être le meilleur pour compter.
Le sujet écologique
C'est peut-être l'article le plus important de la semaine, et le moins commenté. Les data centers quittent le réseau électrique : un tiers seraient totalement autonomes d'ici 2030.
Ils ne demandent plus d'électricité, ils la produisent — ce qui contourne les délais de raccordement et l'opposition locale, et soustrait une consommation massive aux mécanismes de mesure collectifs. Google verrouillant du nucléaire en Finlande en est la meilleure version possible, et elle pose la même question : qui décide de la manière dont ces installations sont alimentées ?
Et le reste
Suno lance des modèles licenciés et se retrouve dans plus de contentieux qu'il y a un an. ChatGPT Images 2.5 vire vers l'édition à tarif inchangé, ce qui nous a menés à expliquer comment une image se compte en tokens. Mille ingénieurs déployés chez les clients pour installer des agents. Et une enquête sur des publicités illégales monétisées montre ce que produit un examen automatisé calibré pour le volume.
Côté réflexion : le double usage de la recherche en sécurité, ce qui mérite d'être automatisé, qui est l'auteur d'une découverte, et faut-il croire une annonce extraordinaire.
Ce que ça dessine
Cette semaine a produit plus de revendications que de faits établis, et c'est précisément ce qui la rend intéressante.
Face à un flux d'annonces qui dépasse toute capacité de vérification, la posture utile n'est ni de croire ni de rejeter. C'est de savoir, pour chaque affirmation, ce qui la rendrait crédible — et le plus souvent la réponse est la même : quelqu'un d'autre a essayé de la casser et n'y est pas arrivé.
C'est la conclusion de notre article d'hier soir, et elle résume la semaine. Nous saurons dans quelques mois si un problème du millénaire a été résolu. D'ici là, dire qu'on ne sait pas est la seule position qui restera défendable quelle que soit l'issue.