iiinova — where your digital self keeps evolving

Jean Abou Samra @jeanas.bsky.social · 10/10/2026

(H/t @pianocktailiste.bsky.social, from who I heard about this workshop (Maths en Jeans) on this very social medium.)

Reposted by Jean Abou Samra

Jean Abou Samra (new account) @jeanas.mathstodon.xyz.ap.brid.gy · 09/10/2026

I'm helping out with a math workshop for high school students, where they work in groups on problems the way the last of the Mohicans among math researchers are still doing. Among the problems I proposed is the following, which a colleague enjoyed solving so I might as well post it here […]

mathstodon.xyz

Original post on mathstodon.xyz

141

Jean Abou Samra @jeanas.bsky.social · 09/10/2026

It seems completely obvious to me which is yours; for this reason I don't think I can judge without bias which one I'd prefer reading all else being equal, so I'll just point out that preferring to read math written by a human even if written worse doesn't strike me as unreasonable at all.

010

Jean Abou Samra @jeanas.bsky.social · 07/10/2026

See, I'm making progress. This time around I noticed the complete brain fart *before* sending the email.

020

Jean Abou Samra @jeanas.bsky.social · 04/10/2026

C'est flippant ! Tu as noté la plaque d'immatriculation ? Ça vaut peut-être le coup de déposer une main courante ?

110

Jean Abou Samra @jeanas.bsky.social · 03/10/2026

See, it already is making me feel less alone. (I *did* send the complete brain fart by email.)

120

Jean Abou Samra @jeanas.bsky.social · 23/09/2026

Am I just going to sit idle for two months while more established people are excitedly gaining new insights and thinking about new research directions? I think I would find this incredibly demoralizing and unfair.

120

Jean Abou Samra @jeanas.bsky.social · 23/09/2026

Suppose I'm working on some famous problem, and OpenAI sends the solution to more senior researchers in my field as I'm just a random PhD student. If I continue to work on the problem, I might have little chance of finding things that people would still find interesting after seeing the AI solution.

110

Jean Abou Samra @jeanas.bsky.social · 22/09/2026

I would never think of interpreting “the late 1900s” as anything else than the end of the period [1900, 1910).

110

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

They should add mathematicians to the IUCN red list.

052

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

Aaaah, thanks for reminding me about that list of references in our preprint. I had checked Lambek & Scott, both of Johnstone's books and Mac Lane & Moerdijk, but I had completely forgotten about that book by McLarty, and it is there.

010

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

Ce truc a été étudié du point de vue théorique par Yannick Forster et Dominik Kirst dans leur version de la calculabilité synthétique. Après, si je ne m'abuse (je n'ai pas vérifié sérieusement), il n'y a aucun problème à faire ce genre de chose tout en restant moralement en logique du premier ordre.

010

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

OK, je vois mieux ce que tu veux dire. Effectivement, tu peux utiliser la distinction entre Prop et Type comme barrière entre ce qui peut être extrait et ce qui ne peut pas l'être, en travaillant avec tiers exclu dans Prop mais sans choix unique.

130

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

“Obviously” you can construct finite colimits in an elementary topos using the internal language (which you can set up without assuming finite colimits using impredicative encodings as in Lambek & Scott). Is there a more reputable reference than math.stackexchange.com/a/5099815/ (for Wikipedia)?

math.stackexchange.com

topos have colimits

Define an (elementary) topos to be a cartesian closed category with all finite limits and subobject classifiers. I'm looking for a proof of the fact that a topos also has all finite colimits. I know

110

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

Je pourrais disserter longuement sur le sujet, mais je vais juste mentionner un point rarement évoqué mais à mon sens essentiel : le fait que l'égalité définitionnelle (l'identification automatique et implicite d'objets égaux par dépliage des définitions) est très utile en pratique.

020

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

Le premier est en gros tautologique : modulo quelques équivalences faciles, ça dit juste qu'étant donné un programme e calculant une fonction f, on peut calculer un programme e' calculant f. Alors que le deuxième demande à e' de ne dépendre que de f et pas de e.)

110

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

(Un moyen de se faire une intuition sur la différence, c'est de regarder des modèles. Par exemple, en réalisabilité, toute fonction est calculable au sens où ∀ f : ℕ → ℕ, ∃ e : ℕ, f = φ_e, mais on n'a pas ∀ f : ℕ → ℕ, Σ n : ℕ, f = φ_e.

110

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

Le ∃ de Lean n'est donc pas « l'existence sans témoin ». La différence entre ∃ et Σ n'est pas complètement évidente à appréhender mais les deux « contiennent de l'information sur les témoins ».

110

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

J'ai l'impression qu'il y a un malentendu. L'existence qu'on utilise en maths constructives sans types dépendants (comme HA, IZF, ou bien la forme traditionnelle du langage interne d'un topos) correspond au ∃ de Lean (`Exists`), pas au Σ (`Sigma`).

110

Jean Abou Samra @jeanas.bsky.social · 21/09/2026

I honestly didn't know the answers to several of these questions. I'm not American, but still.

010

Jean Abou Samra @jeanas.bsky.social · 18/09/2026

It'd be helpful to get more voices (either way) on these Wikipedia deletion discussions: en.wikipedia.org/wiki/Wikiped... en.wikipedia.org/wiki/Wikiped...

en.wikipedia.org

Wikipedia:Articles for deletion/Adaptive representation - Wikipedia

111

Jean Abou Samra @jeanas.bsky.social · 16/09/2026

Out of curiosity, can I ask why you're sticking to these Dedibox servers? In your shoes, with the amount of problems they made for you, I'd have tried to find another provider long ago.

210

Jean Abou Samra @jeanas.bsky.social · 14/09/2026

« compagnon » voire « partenaire romantique ». Je ne juge pas, je dis juste qu'il me semble inquiétant que la santé mentale et la vie intime (et donc potentiellement aussi les opinions) de centaines de millions de gens soient aux mains de giga-entreprises.

110

Jean Abou Samra @jeanas.bsky.social · 14/09/2026

Qu'est-ce qui est pire, je ne sais pas. En tous cas, je trouve qu'il y a largement de quoi flipper. (Et même si OpenAI n'arrive pas à contrôler les opinions de ChatGPT, je ne suis pas complètement rassuré.) Surtout que maintenant énormément de gens utilisent l'IA comme « psychologue », …

110

Jean Abou Samra @jeanas.bsky.social · 13/09/2026

Je croyais qu'OpenAI faisait au moins semblant que ses IA soient neutres politiquement (whatever that means), mais apparemment même pas ?

120

Jean Abou Samra @jeanas.bsky.social · 13/09/2026

Je ne dis pas que c'est pire que le reste d'Internet. Je suis juste terrifié du pouvoir immense que ça place entre les mains d'OpenAI. C'est déjà un énorme problème avec les algorithmes de recommandation de contenu (p.ex. X) mais là on est un niveau de manipulation potentielle au-dessus, je trouve.

240

Jean Abou Samra @jeanas.bsky.social · 12/09/2026

Moi : <fais le calcul de tête> <vérifie avec une calculette> « Oh non, c'est pas possible de se prétendre matheux et d'être à ce point incapable de faire correctement le moindre calcul mental. » <remarque que j'avais juste fait une faute de frappe en tapant sur la calculette>

010

Reposted by Jean Abou Samra

Gro-Tsen @gro-tsen.bsky.social · 10/09/2026

Un billet de blog pour parler de la destruction en cours des mathématiques par les boîtes d'IA et leurs petites mains: www.madore.org/~david/weblo...

madore.org

Sur la destruction des maths par les boîtes d'IA

93217

Jean Abou Samra @jeanas.bsky.social · 11/09/2026

C'est ton droit d'avoir cette opinion mais sincèrement j'ai l'impression qu'en l'occurrence tu la plaques sur quelque chose qui n'a rien à voir.

100

Jean Abou Samra @jeanas.bsky.social · 11/09/2026

Quand on publie, il y a plein d'endroits (template d'article, formulaire de soumission à une conférence, bases de données d'articles, etc) où on doit remplir une affiliation. Ça n'empêche pas les gens hors du monde académique de publier, ils mettent juste « Independent researcher » ou qqch comme ça.

000

Jean Abou Samra @jeanas.bsky.social · 11/09/2026

Je ne comprends pas en quoi le site t'évoque ceci.

100

Jean Abou Samra @jeanas.bsky.social · 10/09/2026

This doesn't strike me as Butlerian Jihad. Note that the commitment of members not to use AI in their research is optional (the mandatory ones are not working with AI companies, and only making public their own writing, leaving the option “the proof is discovered by AI but presented by the author”).

130

Jean Abou Samra @jeanas.bsky.social · 10/09/2026

Finally something heart-warming. www.ahmath.org

ahmath.org

AHM

240

Jean Abou Samra @jeanas.bsky.social · 10/09/2026

Ça, j'aimerais bien mais j'y crois très peu.

100

Jean Abou Samra @jeanas.bsky.social · 09/09/2026

(énormément de complications à chaque étape) ? Ou plutôt par leur profondeur (preuves localement simples mais qui développent énormément de nouveaux concepts qui prennent longtemps à digérer, comme si de nouveaux domaines de recherche entiers étaient créés) ? Ou les deux ?

110

Jean Abou Samra @jeanas.bsky.social · 09/09/2026

D'ailleurs, tout en étant globalement terrifié de ce qui nous attend, s'il y a un point sur lequel je suis un peu curieux de découvrir ce que l'avenir nous réserve, c'est : Est-ce que les LLM vont se mettre à pondre des preuves incompréhensibles aux humains par leur sophistication …

120

Jean Abou Samra @jeanas.bsky.social · 09/09/2026

Dans un domaine qu'on ne connaît pas, pour peu qu'il soit un peu technique (schématiquement, la géométrie algébrique, par opposition à la combinatoire), c'est impossible de prendre un article au hasard et de le lire sans passer d'abord des mois ou années à apprendre le domaine.

120

Jean Abou Samra @jeanas.bsky.social · 09/09/2026

Précisons quand même au cas où pour les non-initiés que ça c'est pour des preuves dans un domaine dont on est spécialiste.

120

Jean Abou Samra @jeanas.bsky.social · 09/09/2026

C'est dans cslib, pas mathlib.

100

Jean Abou Samra @jeanas.bsky.social · 08/09/2026

de bidule » plutôt que « XYZ est-il vrai ou faux ».) Par ailleurs, si la recherche mathématique en général s'effondre, ce ne sera qu'une maigre consolation.

000

Jean Abou Samra @jeanas.bsky.social · 08/09/2026

Je spécule que les IAs sont aussi très fortes pour le genre de questions qu'on se pose en théorie des types et qu'il y a juste moins d'effet de com' immédiat parce que ces questions sont plus ouvertes (du genre « peut-on faire ceci à la manière de machin mais en plus simple avec l'inspiration …

200

Jean Abou Samra @jeanas.bsky.social · 08/09/2026

O U I (enfin, dans mon cas, ça faisait un moment déjà, mais ceux qui arrivaient encore à être optimistes autour de moi viennent de se prendre un mur)

210

Jean Abou Samra @jeanas.bsky.social · 08/09/2026

Mais surtout, c'est quoi exactement le métier créé en l'occurrence ?

200

Jean Abou Samra @jeanas.bsky.social · 05/09/2026

I stole the expression from some paper, can't remember which.

000

Jean Abou Samra @jeanas.bsky.social · 04/09/2026

Et je vois dans la partie « Réseau » de l'inspecteur qu'il fait une requête HTTPS. Donc ça a l'air d'un bug assez stupide.

010

Jean Abou Samra @jeanas.bsky.social · 04/09/2026

Je confirme. J'ai installé Firefox 155, ton site marchait toujours (alors que j'ai le mode HTTPS-only activé, ce qui produit un avertissement la première fois que je visite un site en HTTP, ensuite il reste sur une liste d'exceptions). Après activation du DoH, amarchpus.

110

Reposted by Jean Abou Samra

Gro-Tsen @gro-tsen.bsky.social · 03/09/2026

While I appreciate their eloquence, and agree with many of their take takes, when it comes to “AI and math” (or indeed anything), I wish people would listen a little less to Fields medalists and a little more to the ~99.95% of mathematicians who are NOT Fields medalists, … •1/4

44510