- Apprentice mathematician (Professor at Université Paris Cité), interested in algebraic geometry, number theory and (more recently) proof formalization - Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet). - Apprentice progressist. In love with math, jazz, indian music and poetry. ⏚
Public Key
npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk Profile Code
nprofile1qqsgchuqmtpnmnv3xvguw5fas6smzqyhxt8fhpul5zcgfq9zvra7k3cpz3mhxue69uhhyetvv9ujuerpd46hxtnfduqs6amnwvaz7tmwdaejumr0dsd4rw02
Show more details
Published at
2026-08-17T08:21:37Z Event JSON
{
"id": "bd98739acd44f39693ef500b0936de1a891bc68cd0bb806c5b908fea39c5a3dc" ,
"pubkey": "8c5f80dac33dcd913311c7513d86a1b1009732ce9b879fa0b08480a260fbeb47" ,
"created_at": 1786954897 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/antoinechambertloir",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.ditto.pub"
]
],
"content": "{\"name\":\"⏚ Antoine Chambert-Loir\",\"about\":\"- Apprentice mathematician (Professor at Université Paris Cité), \\ninterested in algebraic geometry, number theory and (more recently) proof formalization\\n- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).\\n- Apprentice progressist.\\n\\nIn love with math, jazz, indian music and poetry. ⏚\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/000/042/098/original/32360b78d62f6ef7.jpg\",\"nip05\":\"[email protected] \",\"fields\":[[\"Web\",\"https://webusers.imj-prg.fr/~antoine.chambert-loir/index.xhtml\"],[\"Blog\",\"https://freedommathdance.blogspot.com\"],[\"Orcid\",\"https://orcid.org/0000-0001-8485-7711\"],[\"BookWyrm\",\"[email protected] \"]]}" ,
"sig": "c1962168fd221eebb383728eb04cece7137638157ba5b7392ed3e74848e400a708ffb09c49d317f08d0c604a44ea5e2337c788bfcbe40b1807ae63b05dcd849a"
}
Last Notes npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…5rtg dans le concept standard de retraite, on gagne de l'argent... npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir « Souvent, j'ai vu des collègues s'émerveiller devant les résultats d'un chatbot pour trouver des choses dans un texte qui auraient pu être trouvées avec une regex (si vous ne savez pas ce qu'est une regex, vous devriez réaliser que votre manque de littératie vous rend encore plus vulnérables au discours commercial qui vous vend des solutions à des problèmes dont vous n'avez aucune compréhension). » Bim! @nprofile…hgxe https://mamot.fr/@monterosato/116585817473886644 npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h quel foutage de gueule... @nprofile…gdvf npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h @nprofile…jwl7 je comprends bien cette angoisse, mais il serait sain que tes auteurs en éprouvassent leur part. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h ou être moins perfectionniste ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h tu fais la sieste quand, je l'ai pas vue sur ton programme? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…vvuq c'est elle qui a chanté Voyage voyage au bout de l'ennui ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…zhhe la queue rouge avec une tête noire, ca doit être une infection assez moche... npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Assez d'accord avec cet appel de Clémentine Autain : https://clementine-autain.fr/il-faut-arreter-les-conneries npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…z4q6 Juste gêné par l'expression « mon collègue Pierre Serna, mon excellent collègue Pierre Serna », sachant que le dit Serna vient de se prendre un an de suspension d'enseignement et de recherche avec diminution du salaire de moitié pour faits constitutifs de harcèlement moral… https://www.lemonde.fr/campus/article/2025/12/13/la-sorbonne-pourquoi-l-historien-pierre-serna-est-prive-d-enseignement-pendant-un-an_6657199_4401467.html npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir « Avoir raison avec Jacques Ellul. » Très intéressante série sur France Culture autour du philosophe et théologien protestant Jacques Ellul. Ici, l'épisode qui devrait le plus toucher celleux qui me lisent, avec Hélène Tordjman, économiste, maîtresse de conférences à l'université Sorbonne Paris-Nord https://www.radiofrance.fr/franceculture/podcasts/avoir-raison-avec/un-penseur-critique-ce-n-est-pas-la-technique-qui-nous-asservit-mais-le-sacre-transfere-a-la-technique-2215385 npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…xnc0 @nprofile…vx0j Faire du yaourt, c'est le premier signe de civilisation? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Comment vous gérez vos problèmes d'ubiquité? Quand vous avez envie de faire deux choses qui se passent en même temps? Vous choisissez la plus sympa? la plus fatigante? la plus exigeante? la plus satisfaisante? la plus proche? la plus longue? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…0lam https://plmbox.math.cnrs.fr/f/f7e796c3aa344ff5bac2/ npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir « J’accepte que mes données soient traitées conformément au RGPD. » Manquerait plus que ça… npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h tu viens de te réveiller ou bien il s'est passé quelque chose depuis midi ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…puzy @nprofile…apqt @nprofile…72tx @nprofile…5tlu qu'est-ce qu'une connexion par VPN aurait de particulier qu'elle puisse être bloquée ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir #mastobada mille / thousand John Coltrane — The night has a thousand eyes https://youtu.be/VZ5ebjyZ44I npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…hutq ça veut dire quoi, « phraser » ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…xnc0 l'imposteur, c'est les Soldats de Salamine, ou bien Cercas a écrit un autre texte sur ce thème ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…5rtg Ca gratinerait probablement très bien… Ça va décongeler dans la matinée. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…5rtg mets-les au four, ça fera un truc bien doré. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Dure journée, où je n'étais proprement capable de rien faire, ni bouger, ni penser, si ce n'est, de façon totalement improbable et inespérée, cette séance d'ashtanga de fin de journée, la première depuis on dirait des siècles. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…6pvt ^^ while I essentially reach the same conclusion as Kevin @nprofile…pm2x , I strongly disagree with the way he depicts LLMs and their interaction with humans. To be short: LLMs are computer programs, they don't have ideas, don't lie, don't hallucinate, don't try to please us. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…a3ey @nprofile…gpz3 i don't understand... [afair, Bourbaki has a similar approach, possibly starting from the differential equation of sin or cos.] npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…a3ey @nprofile…gpz3 in any case, Rudin's Real and complex analysis starts with a 4-page discussion of the exponential function, from its power series definition to that of π. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h et j'admire ta capacité à approcher la question par l'humour, le sujet m'en prive totalement. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h as-tu lu The AI Con? J'ai l'impression que ce livre aide un peu. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h dirais tu que le niveau d'acceptation/de résistance à l'IA est genré? Est-ce qu'il y une différence entre, disons Deepl le matou flatulent ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…vvuq j'ai tiqué à « le pouvoir et le fric sont uniformément noirs » npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h c'est que février, Julie ! npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…xuzd Do you have references to understand Artin glueing in computer science / type theory? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…t6k2 @nprofile…4hp5 I had liked it, but that was some 30 years ago. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…t6k2 @nprofile…4hp5 I guess you have read David Lodge's book with that title! npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…a3ey Let me correct this at once. (I uniformized the naming scheme for the slides of my talks.) npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…a3ey Mine are there (in French). @nprofile…fws0 https://webusers.imj-prg.fr/~antoine.chambert-loir/exposes/20260127-tb2.pdf npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Est-ce qu'on pourrait parler de la responsabilité éditoriale des journalistes, des chaînes de télévision,ou de radio, qui tendent « innocemment » leur micro à des personnes pour qu'elles y profèrent tranquillement des horreurs ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…vvuq La remarque « J'aime beaucoup *Dilbert* ! » sans aucun contexte dit aussi beaucoup de la « certaine dose de lâcheté » qu'il évoque à la fin… npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…t6k2 Indeed. These days, I find it terribly difficult to focus on anything that would bring inner peace and joy. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…t6k2 I'm sorry for your loss of tranquility. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h Drop Mic. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tk03 Mais le concept de procès à huis clos sans convoquer la personne mise en cause est un peu surprenant. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h c'est genré ce problème ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h oui, mais là on est encore à bourg la reine, jpp... npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h j'ai ramé lamentablement sur celui-là... npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h mange-les en route ! npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…wajh « Vous n'avez décidément, aucun respect pour la réussite ! » ;-) npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir I'm happy to announce that Maria-Inés has been able to remove the last `sorry` to the work that we had started in July 2022, as a one-week project that has given us much more trouble than initially planned. (Among which discovering an incorrect proof in the litterature…) I guess she'll announce that tomorrow at Lean Together 2026 ! npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…xuzd @nprofile…47dl what would that universal property be? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h ils ont une thèse les profs de prépa? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h et pourquoi ne serais-tu jamais au jury (à part que ça peut ne pas t'attirer? j'ai fait ça une fois, c'est-à-dire 5 ans, et je ne veux plus) npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…5rtg @nprofile…cvmf tu as essayé typst, tu recommandes? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir bintje watching #ironeme npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir A conference in honor of Jean-Pierre Serre's 100th birthday. Paris, 15-16 September 2026. Speakers: Pierre Deligne Ramon van Handel Peter Sarnak Maryna Viazovska Don Zagier https://serre100.sciencesconf.org/ npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…a3ey Indeed, I don't have a final version of them, I'll upload them soon. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Welcome Rennes ! (With some constructive algebra and @nprofile…2ddq in one slide) https://media.mathstodon.xyz/media_attachments/files/115/881/570/671/591/137/original/96274f6d8460bb00.jpg https://media.mathstodon.xyz/media_attachments/files/115/881/570/937/399/359/original/2e8a5fd4d7c25922.jpg npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…vhdw @nprofile…30j6 I'm sorry for your loss. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…7slc yes, and while i hadn't explicitly reacted, for I'm not a member of ACM, receiving that email from ACM pissed me off. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir I am happy to share a joint publication with María Inés de Frutos-Fernández, “Formalizing Polynomial Laws and the Universal Divided Power Algebra” (CPP 2026). However, after receiving an email from @nprofile…curl inciting me to post abstracts to Twitter, Facebook, LinkedIn and Reddit, I felt the need to write the following to them. “I am really worried that you promote toxic social media infrastructures. You must be aware that Twitter is now putting forward “auto-generated” pedo-pornographic material, and that Facebook is deeply linked with massive election manipulation. As a scientific society, and whatever the practices of my colleagues, I believe that you have the ethical responsability to restrain from those media. Moreover, as a scientist, I oppose to the automatic AI generation of abstracts of my own work. How can I have this basic rule enforced by your system?” https://dl.acm.org/doi/10.1145/3779031.3779108 npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…29up What about Mattermost? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…m0rx I don't understand why you merely allow to have homework handed out on github and not on a forge hosted by your University, or at least one that does not immediately steal their homework. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…hutq On commence quand on veut ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…tn9h on peut mettre un anxio avec son café ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…vvuq c'est trop injuste. <3 npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…w8t5 What I mean is that there are whole alg. geometry books written in the language of toposes (Illusie's Complexe cotangent, for example, is like that — Let R be a ring in a topos and M be an R-module, etc.) where LEM would not necessarily hold, and, as far as I remember, the results of topos-theoretic commutative algebra that are supposed to remain valid are assumed without notice. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…w8t5 I love this point of view, and I see some paradox: while it clearly infuses all of mathematics, not only its applied components where that is obvious but also in some more fundamental parts, the constructive aspects that you evoke (the differences between the various finiteness notions, eg), the validity of choice of of LEM are most often discarded. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…uq98 malgré ma sympathie pour ce média et ses combats, en particulier celui-ci, ce texte me reste sur l'estomac, et une partie de moi se demande même ce que son auteur consomme avant d'écrire... npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 et la fenêtre entrouverte pour une pièce bien aérée, tu as essayé ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Quand la bulle de l'IA se cassera la gueule, ceux qui s'en sortiront sont ceux qui seront montés dans l'arche de NoAI. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Il n'y a pas que les boutiques de coiffeurs pour faire de douteux jeux de mots. https://media.mathstodon.xyz/media_attachments/files/115/792/583/574/373/836/original/c0a4271f9b5940c7.jpg npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…93u3 c'est où ? (Dans quel coin de France ?) npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Le cul, les ronce… dans l'un des articles de Télérama consacré au faux : « “[L'IA] est un outil parfois impressionnant de justesse, mais il est encore insuffisamment intelligent pour pouvoir créer seul une pièce de Molière,” confie Pierre-Marie Chauvin, vice-président de Sorbonne Université… » npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…w8t5 My feeling is that (1) and (4) differ in fundamental ways, with the obvious interaction that the work towards (1) can serve as building blocks for (4). If the work of Bourbaki in the years 1935-1975 can serve as an example, it indicates that starting from scratch and reaching the research level are barely compatible. Of course the work of Bourbaki on Lie groups and Commutative algebra indicates that there are domains were both are possible, but that may be seeing the woods for the trees (or the other way round, I'm not familiar with this English expression). npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…ynk9 Dont acte. (Mais je reste gêné : attaquer des personnes qui visent le même combat que soi, c'est affaiblir son combat.) npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…8pq6 @nprofile…w8t5 Some colleagues in math are used to answer by “this is wrong.” to some assertion they read, without providing any insight. Sometimes it is very difficult to get out some own misconception, and knowing that “this is wrong” is not enough to debunk it. Similarly, I hate it when I read that “theorem 1.2 generalizes theorem 3 from another paper” without any explanation about why/how it constitutes a generalization. It would be so nice and helpful to be told that “this assumption is weakened to that other one”. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…ynk9 Résumer la contestation de l'IA à l'analogie avec la télévision et la calculette n'est pas sérieux. (Vous auriez pu citer l'écriture et l'imprimerie.) En fait, les premiers articles contestant le développement des LLMs datent du tournant 2020, avec notamment celui sur les perroquets stochastiques. Vous avez lu *The AI Con* de Bender et Hannah? Il s'y déploie toute une série d'arguments plus consistants que ça. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 c'est plus un soupir qu'un cri, ça. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Ressenti mon cul, oui. Il y a surtout un ressenti de foutage de gueule… https://www.aefinfo.fr/depeche/743023-il-y-a-un-ressenti-de-pauperisation-dans-lesr-sur-lequel-nous-devons-travailler-pour-mieux-le-comprendre-philippe-baptiste npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 ce snobisme… npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…93u3 Si Sarkozy et Macron se reposaient pour toujours, ça nous ferait des vacances. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…93u3 Qu'est-ce qu'on fait si on n'a pas mérité le repos ? On se repose quand même ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…ztfm i believe this is the job of chief editors to handle this kind of situation. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…ztfm this might mean that the editor in charge does no use the website to do his job. Which is compatible with the possibility that he did not do his job. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…5zhr Et même s'ils sont souvent très bons, le risotto, le curry, sont des plats qui n'ont pas de structure. Il n'y a rien à dresser dans l'assiette, peu de variations de textures ou de mâche. C'est mieux que la purée, mais bon. @nprofile…l2u2 npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…93u3 C'est vrai, mais (et désolé d'ajouter un mais) il me semble que ce n'est désormais plus du simple filtrage destiné à garantir l'intégrité de la plate-forme (comme l'est également le refus, en CS, des papiers de review qui ne seraient pas déjà publiés), mais des décisions d'une nature différente. @nprofile…l2u2 @nprofile…wh7v @nprofile…c8ct npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir The new @nprofile…wh7v policy is to impose an English version for all papers. They acknowledge: “We realize that many arXiv submitters may not have access to professional translation services; non-English paper versions that use automated translation are acceptable, as long as their content is faithful to the original paper.” Four possibilities emerge: 1 - people outside of the English speaking countries start reclaiming their mother tongue for science. 2 - contrary to their expectation, most submissions will be English only. 3 - a torrent of AI-generated translations will flood on the arxiv and later on in papers. 4 - French people put their papers in French on @nprofile…c8ct, which will make French science less visible. What would you wish? What do you expect? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…gxsg And this paragraph! Whose only positive aspect is the prohibition of any other GenIA tool. L’utilisation de l’intelligence artificielle soulève des questions de sécurité autant sur la souveraineté des outils que sur la confidentialité des données et le respect de la réglementation relative aux données à caractère personnel. Un module de sensibilisation à l’intelligence artificielle ainsi que des recommandations d’usage de l’IA générative au CNRS vous seront donc proposés d’ici le 16 décembre pour garantir une utilisation d’Emmy dans un cadre sécurisé et adapté. L’accès à Emmy requerra de votre part le renseignement en ligne d’une attestation de suivi du module de sensibilisation et de prise de connaissance de ces recommandations. Au regard des risques avérés que présentent les autres outils d’IA en cloud public sur la confidentialité des données et la protection du patrimoine informationnel de l’établissement, tout autre outil d’agent conversationnel en IA générative sera désormais proscrit au CNRS. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Proposition de sujet de baccalauréat en EMC/philosophie/histoire Fin 2025, un journal titrait "La façon de faire, c'est accessoire" et citait une femme politique française : "Les gens que je croise, franchement, (…) ils s'en fichent de la méthode, ce qu'ils veulent, c'est qu'on ait un budget". Vous discuterez dans quelle mesure ces assertions sont compatibles, ou non, avec les fondements démocratiques des sociétés contemporaines. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir About AI for math, here is a nice plot twist from the paper “Early science acceleration experiments with GPT-5”, https://arxiv.org/abs/2511.16072 “We were very excited to have an exact solution to a question which we had been curious about for years, especially because one direction of the proof was due to an AI. However, we soon learned that the same tight bound (as well as a different proof of the matching upper bound) had appeared on Arxiv nearly 3 years previously in the short paper [Alo24]. In fact, GPT-5’s proof of the lower bound was exactly the same as Alon’s! Thus, it appears that GPT-5 reproduced Alon’s proof and passed it along to us without realizing its source. As it turns out, a fresh attempt at querying GPT-5 Pro was able to recover this source, as depicted in Figure II.4. Our experience illustrates a pitfall in using AI: although GPT-5 possesses enormous internal knowledge and the capability to locate even more using the internet, it may not always report the original information sources accurately.” (Section II.3.1) I wish to be kind to these authors, and I won't name them, but I can't imagine they hadn't heard of that issue. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…93u3 C'est quoi le tempo confortable pour des notes comme ça au violon ? (Je viens d'un domaine où il y a parfois écrit noire = 252 en haut de la partition. Et j'ai des partitions à 320 — que je ne sais pas jouer.) npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…w8t5 @nprofile…rrqe filters give rise to quantifiers, there exist as large elements as one wishes such, for all large enough integers, etc. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir Au Mucem, exposition Don Quichotte. Avec beaucoup de vieux livres, comme celui-ci, de Münster, 1550, et son portrait censuré d'Érasme, avec une annotation « Sancho Panza » https://media.mathstodon.xyz/media_attachments/files/115/616/712/981/670/135/original/edadd67785f884bc.jpg npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 En plus, il l'a écrit comme ça ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 c'est lequel ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…ztfm @nprofile…6fuz @nprofile…hcpk but then, if that doesn't require hard thinking, why do we publish it at all? Why do we publish reviews worthy of an undergrad essay? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…6fuz @nprofile…ztfm @nprofile…hcpk still, for a preprint repository, that's a very strong policy to insist on prior publication. npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…w8t5 @nprofile…rrqe what do you mean by that ? npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 https://media.mathstodon.xyz/media_attachments/files/115/559/533/808/149/234/original/798c43ae788408a8.jpg npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 j'ai écouté... Mais quel beauf ce type! Et Duhamel qui se targue de mener un entretien « sans concession », quelle médiocrité... npub1330cpkkr8hxezvc3cagnmp4pkyqfwvkwnwrelg9ssjq2yc8madrs4vv7uk ⏚ Antoine Chambert-Loir @nprofile…l2u2 je vais écouter et écrire à la médiateur·ice.