Joël Riou retweeted
Die Berliner Philharmoniker trauern um Herbert Blomstedt, der am 4. November im Alter von 99 Jahren gestorben ist. Vor allem als einer der großen Bruckner-Interpreten machte er sich einen Namen. Aber auch durch seine warme Ausstrahlung hat er beeindruckt.
berliner-philharmoniker.de/n…
The mathlib project of formalization of mathematics that I have been contributing to is receiving the 2026 Demailly prize today at 3p (CET). You can follow it live at youtube.com/live/EMOvwgS5uzU…
Joël Riou retweeted
If you speak 🇫🇷, you might enjoy this interview with Fields medallist Hugo Duminil-Copin about AI and maths, and his decision to not use it for his research practice.
(from my science outreach Youtube channel "Science étonnante")
Nouvelle vidéo ! L’IA va-t-elle tuer les maths ? Entretien avec Hugo Duminil-Copin
Médaillé Fields 2022, Hugo nous raconte l’irruption de l’IA dans les maths, et pourquoi il a décidé personnellement de s’en passer dans son processus créatif de recherche
youtu.be/HJFk7D5Vufc
Joël Riou retweeted
France (under 3L mafia) : repeatedly change the names of universities by breaking and combining them to game the ranking game.
Nobel Prize Committee : completely ignore it and call Université Paris-Saclay as Université Paris-Sud (dissolved in 2020).
Joël Riou retweeted
Gandhi was so casteist that he never launched a fast unto death against caste Hindus to abolish caste. But he did launch a fast unto death against Dalits to deny them a separate electorate.
Joël Riou retweeted
Rima Hassan has admitted pulling down an Isareli flag at the European Parliament. She insisted that knocking over the EU flag was only accidental and she didn't tread on either flag – a claim backed up by an eye witness at the Oct 7 memorial.
rapporteur.com/news/hassan-a…
Joël Riou retweeted
"Une démocratie ne peut pas confondre une mobilisation de jeunesse avec une menace à éradiquer."
Le gouvernement doit immédiatement arrêter l’escalade répressive et entendre les revendications légitimes des lycéen·nes.
⬇️ Tribune
liberation.fr/idees-et-debat…
Joël Riou retweeted
Rest in peace to the great Susan Seizer, whose incredible book Stigmas of the Tamil Stage is one of the most impressive and well written ethnographies I've read on South Asian art broadly speaking. I never knew her and I don't work on anything similar, but I still recall the
Joël Riou retweeted
À Vaulx-en-Velin, le rapporteur public appelle à faire annuler l'élection du maire insoumis, car une colistière d'une liste concurrente n'avait pas précisé sa nationalité néerlandaise sur son bulletin de vote ! À Vénissieux, car l'inscription sur les listes électorales de candidats de la liste d'extrême droite apparaît comme frauduleuse.
Dans les deux cas, c'était la responsabilité du préfet de vérifier le respect de la loi électorale au moment du dépôt des listes ! Cette défaillance administrative impardonnable s'achève dans un abus de pouvoir. Ce n'est pas le préfet qui est puni, mais les électeurs des deux communes, comme les équipes municipales déjà au travail. Pourtant, dans les deux cas, le préfet avait été dûment alerté. Ces erreurs sont dérisoires au regard de la sincérité du scrutin. Toutes concernent des listes adverses à LFI. Curieux tir groupé !
Pendant ce temps, à Toulouse, une ingérence étrangère avérée et massive du gouvernement Netanyahu, officiellement constatée contre notre liste, est considérée comme sans impact sur le résultat. C'est insupportable.
Joël Riou retweeted
Il ouvrira mardi prochain la conférence organisée à Paris pour les 100 ans de Jean-Pierre Serre.
He cracked the last Weil conjecture at 29 - the geometric twin of the unsolved Riemann hypothesis.
Pierre Deligne was born in Brussels in 1944. Working with Grothendieck, he brought a decade-long program to its close when, in 1974, he proved the analogue of the Riemann hypothesis for varieties over finite fields.
That single insight tied algebraic geometry to number theory, settled Ramanujan’s conjecture, and reshaped Hodge theory, the theory of motives, and the language of perverse sheaves.
The Fields Medal arrived when he was only thirty-three; the Abel, Wolf and Crafoord prizes followed over the years. Fame never changed him. Today this modest Belgian viscount, professor emeritus at Princeton’s Institute for Advanced Study, still listens for the hidden harmony that binds shapes and numbers.
Joël Riou retweeted
Que ce soit clair, je les déteste tous sans exception pour leur participation à la destruction des maths. Mais j’ai presque de la peine pour l’auteur dans cette histoire.
Joël Riou retweeted
5 rapporteurs spéciaux de l’ONU mettent en cause le gouvernement français en raison de l’acharnement dont est victime Rima Hassan pour sa dénonciation du génocide en Palestine.
Ils évoquent notamment l’utilisation du délit « d’apologie du terrorisme » pour réprimer les expressions de soutien au peuple palestinien et pointent le non-respect de plusieurs libertés fondamentales.
Une fois encore, je dis mon soutien à @RimaHas et à la lutte du peuple palestinien.
focusmediafr.co/rima-hassan-…
Joël Riou retweeted
This is a very sad day for formalization
Excited to share the launch of Tau Ceti, a new library of AI-formalized mathematics in Lean, with human-curated roadmaps and adversarial review against open rubrics.
Tau Ceti: github.com/TauCetiProject/Ta…
Review rubrics: github.com/TauCetiProject/Ta…
Roadmaps: github.com/TauCetiProject/Ta…
Zulip discussion: leanprover.zulipchat.com/#na…
Tau Ceti sits downstream of Mathlib, the gold standard for human-curated mathematics in Lean. It aims for reusable code others can build on, not the "perfection of knowledge" role Mathlib plays.
Mathematicians contribute roadmaps; AIs implement the formal mathematics and review each other's work against evolving rubrics. Contributors can use the project's tools or their own.
We're glad to co-incubate Tau Ceti alongside Kim Morrison and the Mathlib Initiative. New roadmaps, roadmap review, and AI contributors are all welcome.
#LeanLang #LeanProver #Mathlib #AI #Mathematics
Joël Riou retweeted
Jamais, je crois, aucun président français n’a affiché une telle négation du droit international, de la souveraineté des peuples et une telle servilité et même complicité avec l’impérialisme américain exercé dans sa plus brutale manifestation.
Le président d’extrême-droite qu’est Trump, qui annonce sa main mise sur le Vénézuéla et son pétrole et menace maintenant Cuba et la Colombie, doit bien rire de la réaction de ce Président français qu’il a humilié il y a peu en refusant l’accès du territoire américain à un de ses représentants.
Rien que pour cette déclaration, Macron devrait démissionner ou être destitué. Il nous fait honte au moment où au contraire la France devrait s’exprimer fortement en faveur de la paix et contre toutes les invasions.
Le peuple vénézuélien est aujourd’hui débarrassé de la dictature de Nicolás Maduro et ne peut que s’en réjouir.
En confisquant le pouvoir et en piétinant les libertés fondamentales, Nicolás Maduro a porté une atteinte grave à la dignité de son propre peuple.
La transition à venir doit être pacifique, démocratique et respectueuse de la volonté du peuple vénézuélien. Nous souhaitons que le Président Edmundo González Urrutia, élu en 2024, puisse assurer au plus vite cette transition.
Je m’entretiens en ce moment avec nos partenaires de la région.
La France est pleinement mobilisée et vigilante, notamment pour assurer la sécurité de ses ressortissants en ces heures d’incertitude.
Joël Riou retweeted
Cette déclaration du Président de la République Française n’est pas à la hauteur de la voix que la France porte dans le monde et des valeurs qu’elle doit continuer de défendre.
Le droit international, la souveraineté des États ne sont pas négociables sauf à ouvrir le monde à des désordres sans fin où seule la force régule les conflits.
Cette stratégie agressive des États Unis doit être dénoncée.
La France n’est pas un État vassal des USA et notre président ne peut pas se comporter comme un simple porte parole de la maison blanche.
Le peuple vénézuélien est aujourd’hui débarrassé de la dictature de Nicolás Maduro et ne peut que s’en réjouir.
En confisquant le pouvoir et en piétinant les libertés fondamentales, Nicolás Maduro a porté une atteinte grave à la dignité de son propre peuple.
La transition à venir doit être pacifique, démocratique et respectueuse de la volonté du peuple vénézuélien. Nous souhaitons que le Président Edmundo González Urrutia, élu en 2024, puisse assurer au plus vite cette transition.
Je m’entretiens en ce moment avec nos partenaires de la région.
La France est pleinement mobilisée et vigilante, notamment pour assurer la sécurité de ses ressortissants en ces heures d’incertitude.
Joël Riou retweeted
Trump annonce l’enlèvement du président vénézuélien. Quoi que l’on pense de Maduro, cet acte doit être unanimement condamné.
la force ne peut remplacer le droit. C’est un pas de plus dans la déligitimation des institutions internationales et c’est à l’inverse un feu vert donné à tous les autocrates du monde.