iiinova — where your digital self keeps evolving

Thomas Seiller @seiller.bsky.social · 18h

It still depends on the techniques used, right? I am not up-to-date on the status of the rocq and lean libraries, but I thought some parts of mathematics were not available yet. And it would be a bit too much to ask fo a formalised proof of every paper.

100

Thomas Seiller @seiller.bsky.social · 19h

I am yet to receive one. But if I send you a 4M line formal proof, is this enough? Are you sure it translates faithfully the natural language statements and definitions? Are you sure it does not exploit some bug? Is it enough that it compiles with no intermediate concepts and key lemmas?

100

Thomas Seiller @seiller.bsky.social · 19h

I’d rather learn something new for sure. By opening a book, reading a properly written and reviewed paper. Or doing mathematics. Many things are better than trying to figure out if something worth hides in those drafts. Should we read every 80-pages manuscript we receive claiming to prove P =\= NP?

100

Reposted by Thomas Seiller

minimaliste13 @minimaliste13.cpesr.fr · 05/10/2026

Tiens je vais utiliser ma compétence professionnelle pour une fois. Moi quand je vois 17221 participants, je trouve un peu suspicieux que le nombre de participants soit exactement le produit des deux nombres premiers 17 et 1013, et que le deuxième nombre soit exactement le nombre d'événement.

L'OPÉRATION 1000 BISTROTS

EN CHIFFRES:

1013 Bistrots organisés partout en France.

1 Couple formé.

17 221 Participants.

CE DONT VOUS AVEZ LE PLUS PARLE:

IA

Enseignants

Ecole

Élèves

Formation

Travail

Salaires

Europe

Jeunes

Entreprises

14 800 км Entre nos deux bistrots les plus éloignés.

New York/Saint-Denis (La Réunion).

4710 Litres de boissons bus.

354 Propositions remontées.

ATTAL PRESIDENT.FR

LA FORCE D'AGIR

64402142

Reposted by Thomas Seiller

ASUR @agorasur.bsky.social · 04/10/2026

#VeilleESR #ESR Le premier rapport des Assises pour l'Université et pour la Recherche propose à la représentation nationale un plan de redressement budgétaire pour l'Université, la Recherche et la Vie Etudiante. A télécharger ici: raw.githubusercontent.com/cpesr/assise...

Le premier rapport des Assises pour l'Université et pour la Recherche propose à la représentation nationale un plan de redressement budgétaire pour l'Université, la Recherche et la Vie Etudiante.

02330

Reposted by Thomas Seiller

Johanna Franklin @johannamath.bsky.social · 01/08/2026

Hi @womeninlogic.bsky.social, here is a thread of some of the presentations by women at Computability in Europe 2026! There were 3 other co-located conferences, so this is not a complete listing. #wil #womeninlogic

194

Reposted by Thomas Seiller

minimaliste13 @minimaliste13.cpesr.fr · 29/07/2026

Énième rappel qu'il n'existe pas d'enseignement (supérieur ou non) privé viable : l'enseignement "privé" ne peut être économiquement rentable que si l'argent public paie la formation et le salaire des enseignants. Bizarrement personne ne veut payer 40000€ pour avoir des poly rédigés par IA.

france3-regions.franceinfo.fr

"Ils ont sabordé l’établissement et tout le monde avec" : étudiants et formateurs de l’École IT d’Amiens sans solution face à la faillite de l’établissement.

Spécialisée dans le numérique et implantée à Bruxelles, Valenciennes, Orléans et Amiens, l’École IT est en faillite. Les établissements font face à des difficultés financières et ne peuvent assurer ni...

12336154

Reposted by Thomas Seiller

Antonio E. Porreca 🐳 @aeporreca.org · 27/07/2026

That said, Fortnow himself, another senior and (formerly, AFAIC) respected member of the CS theory community, does even worse things like this with his AI toys. (He wouldn’t be where he is now if he pulled this kind of bullshit when he was a junior researcher.)

A Bluesky thread:

Nutan Limaye @nutanlimaye.bsky.social · 1mo
Since today Bipartite Perfect Matching is in NC. The proof uses connections between coding theory and Hall's theorem. Presented at WACT 2026. Yay!!!

Nutan Limaye @nutanlimaye.bsky.social · 1mo
Tagging the Blue sky complexity community so that the word spreads. @lance.fortnow.com @rrwilliams.bsky.social @ccanonne.github.io @prahladh.bsky.social

Lance Fortnow @lance.fortnow.com · 1mo
Pretty amazing if true. Who proved it and is there a paper?

Nutan Limaye @nutanlimaye.bsky.social · 1mo
The paper will be put out soon. One of the authors presented almost the whole proof. The second comment above lists the authors.

Lance Fortnow @lance.fortnow.com
Since the paper isn't online yet, I tried to see if AI could reconstruct the proof using the clues in your posts. They all gave a "strategy" but acknowledged they couldn't figure out the details.

0286

Reposted by Thomas Seiller

Clément Canonne @ccanonne.github.io · 26/07/2026

There may be, and there is, a debate to have about the use of AI in research, in maths, in society. Using it as "an oracle to put words in the mouth of dead people" is not part of that, and is (IMO) absolutely insane to use one's platform to the community for that.

6425

Reposted by Thomas Seiller

Clément Canonne @ccanonne.github.io · 26/07/2026

Saw the latest blog post by Bill Gasarch on @lance.fortnow.com's blog, and I need to get it out of my system: this is not "the obvious thing." This isn't insightful. This is, from a senior and respected member of our community, plainly disappointing. A ouija board w/ a varnish of misunderstood tech.

I wondered whether Paul Erdos would be happy with how it turned out. So I did the obvious thing: I asked Google AI

Would Erdos have liked the solution to the sum-product conjecture?

Here is what it said:

17210

Reposted by Thomas Seiller

Greg Egan @gregegansf.bsky.social · 27/07/2026

While the Fields Medal celebrates the under-40s, the mathematician Joan Birman has, at the age of 99, solved a major open problem in representations of the Braid groups, a topic she has worked on for more than 60 years.

121299320

Reposted by Thomas Seiller

Barbara Fantechi @barbarafantechi.bsky.social · 26/07/2026

I didn't do what it was strongly impressed upon me that I should do when I was 14, or when I was 18, and ever since. I am not starting now. Tao is a fantastic mathematician. There's no reason to believe that his take on morality is better than anyone else's.

5373

Thomas Seiller @seiller.bsky.social · 20/07/2026

The official version is here: dx.doi.org/10.1007/978-... The HAL version (almost identical) is here: hal.science/hal-05617278 Unfortunately, the only recorded talk about this work is now quite old and outdated: youtu.be/50MkNOi3LNw?...

dx.doi.org

000

Thomas Seiller @seiller.bsky.social · 20/07/2026

My paper about a proposed formal definition of algorithms is now published as part of the proceedings of CiE 2026. It already contains some hints at my recent interests in whether learning can be understood as an algorithmisation process.

dx.doi.org

100

Thomas Seiller @seiller.bsky.social · 15/07/2026

One question I am particularly excited to explore is: can learning be understood as a process of algorithmisation (converging towards an algorithm)? Or can we make it one? If you are curious about this direction, some slides from a recent talk provide an overview: www.seiller.org/documents/Sa...

seiller.org

010

Thomas Seiller @seiller.bsky.social · 15/07/2026

My recent work has focused on developing mathematical foundations for computation, programs, and algorithms. This work has also led me to questions about the mathematical foundations of learning.

110

Thomas Seiller @seiller.bsky.social · 15/07/2026

I am delighted to share that I have been promoted to Directeur de recherche (DR) at CNRS. I am grateful to everyone I have worked with over the years, especially the students and postdocs.

220

Thomas Seiller @seiller.bsky.social · 22/06/2026

I am delighted to visit Sapporo (and more precisely Hokkaido university) for the first time today! I will be giving a talk titled “Mathematical Informatics: algorithms and the emergence of structure”. The slides are already online for those that cannot attend: www.seiller.org/documents/Sa...

seiller.org

010

Thomas Seiller @seiller.bsky.social · 09/06/2026

I recently gave a talk at the Pacific Category Theory seminar presenting the results (both from this new preprint and the previous one about the geometry of the nuclei: hal.science/hal-05452748), as well as motivations about textual corpora. The recording is online: youtu.be/gA1G0JkoLFA?....

youtu.be

Thomas Seiller - From Statistical Data to Geometry and Logic via Isbell Nuclei - June 5, 2026

YouTube video by PCT Seminar

000

Thomas Seiller @seiller.bsky.social · 09/06/2026

It took longer than initially planned, but our preprint on the connection between Isbell nuclei and linear realisability models is now online: hal.science/hal-05640508! This is a collaboration with @giannig.bsky.social, S. Jarvis and J. Terilla (both from @thegraduatecenter.bsky.social).

hal.science

Making sure you're not a bot!

132

Thomas Seiller @seiller.bsky.social · 12/01/2026

This is a joint work with @giannig.bsky.social, Samantha Jarvis (CUNY) and John Terilla (CUNY).

000

Thomas Seiller @seiller.bsky.social · 12/01/2026

New paper! We have been interested in R-enriched adjunctions, motivated to understand structures arising from statistical data over textual corpora. This first paper delves into the geometric structure. A companion paper devoted to the logical structure is being finalised. Stay tuned!

seiller.org

121

Reposted by Thomas Seiller

Mathilde Larrère @mathildelarrere.bsky.social · 15/11/2025

Michelle Audin n'est plus c'est triste purée mais regardez ce merveilleux travail qu'elle faisait Il y a ce livre, et ce blog, une véritable mine de trésors et de connaissances macommunedeparis.com

macommunedeparis.com

La Commune de Paris

Blog de Michèle Audin

619095

Reposted by Thomas Seiller

Courtney Milan @courtneymilan.com · 02/10/2025

Hey authors, the official list of Anthropic works is available for searching. secure.anthropiccopyrightsettlement.com/lookup

secure.anthropiccopyrightsettlement.com

Submit a Claim

501043902

Reposted by Thomas Seiller

FOCS 2026 @focs2026.bsky.social · 19/09/2025

⏰ The 🧑‍🎓 travel support application and 👶 childcare support applications are both due in ~25h! The former is open to all students and postdocs (not necessarily authors of a paper). The latter provides financial support (to be used in any childcare-related way) to conference attendees! Links below↴

156

Reposted by Thomas Seiller

Laboratoire d'Informatique de Paris Nord @lipnlab.bsky.social · 04/09/2025

❓ Do we really know what an algorithm is? To learn more about interdisciplinary work between philosophy and computer science, check out the CNRS online journal: lejournal.cnrs.fr/nos-blogs/fo... 🤝 This is part of a joint project between the LIPN and the IHPST, carried out by T. Seiller and A. Naibo.

lejournal.cnrs.fr

« Algorithme », un mot simple plein d'ambiguïtés

021

Reposted by Thomas Seiller

ccailleaux.bsky.social @ccailleaux.bsky.social · 30/08/2025

Dans ses discours, le Ministère de l'Éducation nationale prétend soutenir une Tech "sobre et souveraine", sans dépendance aux GAFAM. Dans les faits, Amazon héberge massivement les données scolaires. Exemple avec cette photo attachée au mail envoyé hier par la Ministre à tous les personnels.

Capture d'écran du mail reçu. On y voit l'adresse de la photographie : elle est hébergée chez Amazon

310461

Thomas Seiller @seiller.bsky.social · 16/05/2025

Admissibility results for the CNRS competitions 53/02 and 53/03 are now online on the CID53 website. www.cid53.fr/en

cid53.fr

CID53 Website | CID53

Website of the interdisciplinary commission CID53 of CoNRS

010

Thomas Seiller @seiller.bsky.social · 24/04/2025

Results for the CNRS competition 53/01 (senior positions, interdisciplinary committee “Science in society”) are now available online on the CID53 website. www.cid53.fr/en

cid53.fr

CID53 Website | CID53

Website of the interdisciplinary commission CID53 of CoNRS

000

Reposted by Thomas Seiller

Hagen Blix @hagenblix.bsky.social · 14/01/2025

I wrote a book about AI, AI Fears, and Capitalism with my friend Ingeborg! "Why We Fear AI" just went to the printers and comes out in March! You can pre-order it directly at the publisher @commonnotions.bsky.social or wherever you get your books Quick🧵

commonnotions.org

Why We Fear AI — Common Notions Press

75014

Reposted by Thomas Seiller

Adina Williams @adinawilliams.bsky.social · 11/04/2025

Happy to be at CUNY today to workshop about the theoretical foundations of AI! Fun to have several perspectives---math, philosophy, linguistics and more---together in one place! w/@giannig.bsky.social @seiller.bsky.social J. Terilla et al. itsatcuny.org/calendar/202...

itsatcuny.org

Foundations of AI — Initiative for the Theoretical Sciences

Friday, 11 April 9:30 AM - 4:00 PM Rooms 9206/9207, Graduate Center CUNY Join us at the Initiative for Theoretical Sciences for an interdisciplinary exploration of the foundations of artificial i...

071

Thomas Seiller @seiller.bsky.social · 04/04/2025

The Caleidoscope 2025 school on computational complexity is already over. We had a great week at CIRM, with exceptional lectures! Some material (slides, as well as some recordings) should be available soon!

Picture of a blackboard situated outside, in the park of CIRM (in the calanques national park).

010

Thomas Seiller @seiller.bsky.social · 27/03/2025

Le classement des candidat·e·s au concours DR2 2025 de la section 06 (06/01) par le jury d’admissibilité est disponible sur le site de la section: cn6.fr/#resultatsDR2025.

cn6.fr

Comité national de la recherche scientifique – Section 6

000

Thomas Seiller @seiller.bsky.social · 18/03/2025

Le classement des candidat·e·s au concours CRCN 2025 (06/02) par le jury d’admissibilité est disponible sur le site de la section 06: cn6.fr/#resultatsCR2025.

cn6.fr

Comité national de la recherche scientifique – Section 6

032

Reposted by Thomas Seiller

Adriana Guatame-García @adriguatame.bsky.social · 06/03/2025

A friend included this anti-acknowledgement section on her PhD thesis. She also added the proposition: “Systematic bullying and undermining of girls and women in STEM starts early on and is the reason why they do not stay in science and related fields.” Absurd we still need to go through this 🧪👩‍🔬

There have been people less than helpful in my journey here. I wanted to acknowledge those too, bc I know I am not unique in this experience.
No thank you to the physics study assoc that made me sing songs about how women couldn't study physics without sleeping with the professor, the day I stepped into university life. No thank you to the 5th year physics student that decided to assign me a stripper name within the first minute of meeting me in the physics coffee corner in my first year. No thank you to the technician that was responsible for onboarding me on the use of the cluster in my third year who raised his eyebrows and asked me if that meant I was some sort of computer girl. No thank you to the senior researcher that sent me utterly inappropriate texts after a conference, then proceeded to apologise months later by telling me they had not been meant for me anyway so no hard feelings remain hopefully And no thank you to him for attending every conference I've been to since. No thank you to the people who told me that it was surprising that I was doing a PhD since I was a girl. No thank you to the man who mistook me for a coffee lady at a conference, and after having to correct him two times that I did not work there, responded with you should consider it. No thank you to the researcher that asked me what I was wearing underneath my outfit during a conference. No thank you to the physicist who declared to a room full of other physicists that biologists don't know how to design an experiment. No thank you to the people who have called me scary instead of strong and intimidating instead of intelligent.
And finally, no thank you to the exec board of the TU Delft, whose knee-jerk reaction to being held up a mirror about the social safety at the university, was to sue the party holding up the mirror instead of looking at the problems they highlighted.
... You have made me feel like I do not belong in science & I cannot forgive you for that.

12365112319

Thomas Seiller @seiller.bsky.social · 06/03/2025

The list of candidates selected for interviews for the CNRS hiring competitions 53/01, 53/02, and 53/03 is now available. www.cid53.fr/en

cid53.fr

CID53 Website | CID53

Website of the interdisciplinary commission CID53 of CoNRS

000

Reposted by Thomas Seiller

Laboratoire d'Informatique de Paris Nord @lipnlab.bsky.social · 04/03/2025

☀️The "Complexity as a Kaleidoscope" research school will be held at the CIRM from 31 March to 4 April 2025. 🧑‍🤝‍🧑 It is co-organized by T. Seiller (@seiller.bsky.social) and S. Perifel, researcher and Full Professor at the @LipnLab. 🔗 Program and information: conferences.cirm-math.fr/3225.

conferences.cirm-math.fr

002

Thomas Seiller @seiller.bsky.social · 25/02/2025

Aujourd’hui était organisée une journée autour de l’aide à la décision (gdrro.lip6.fr?q=node/340). Alberto Naibo et moi avons présenté notre projet interdisciplinaire sur la notion d’algorithme. Voici les liens vers nos transparents: www.seiller.org/documents/Jo... www.seiller.org/documents/Jo...

gdrro.lip6.fr

Journées aide à la décision | GDR Recherche Opérationnelle

010

Thomas Seiller @seiller.bsky.social · 13/02/2025

La liste des candidats et candidates auditionné•e•s sur les concours CNRS 06/01 (DR2) et 06/02 (CRCN) est disponible sur le site de la section 06: cn6.fr#auditions2025

cn6.fr

Comité national de la recherche scientifique – Section 6

010

Thomas Seiller @seiller.bsky.social · 31/01/2025

Last week I visited Chapman university and gave a talk titled “Logical structures arising from corpora”. It tackles the question: can statistical data from a corpus be used to extract (some) mathematical structure of natural language? Slides can be found there: www.seiller.org/documents/Ch...

seiller.org

000

Reposted by Thomas Seiller

UMR 8068 - Technologie et Ethnologie des Mondes PréhistoriqueS @umr-8068-temps.bsky.social · 28/01/2025

L'UMR 8068 TEMPS, qu'elle fasse partie des laboratoires élus ou non, se positionne fermement contre la réforme des KeyLabs qui viendrait déstabiliser la recherche publique sur la très longue durée. #HelloESR #VeilleESR

14422

Reposted by Thomas Seiller

Laboratoire d'Informatique de Paris Nord @lipnlab.bsky.social · 15/01/2025

#introduction 👋 The LIPN is a joint @cnrs.bsky.social and @univ-spn.bsky.social laboratory, with 6 research teams: - Machine Learning, - Combinatorial models, - Algorithms and combinatorial optimization, - Foundations of computation, - Formal verification, - NLP and knowledge representation.

151

Reposted by Thomas Seiller

Online Parallels (mastodon @onlineparallels) @onlineparallels.bsky.social · 17/12/2024

We are launching an 𝐮𝐧𝐨𝐟𝐟𝐢𝐜𝐢𝐚𝐥 and experimental online parallel event for the conference ITCS25, aimed at everyone who cannot attend the conference in person for whatever reasons. (1/2) sites.google.com/view/itcs202... #ITCS25 #ITCS2025 #OnlineParallels

sites.google.com

ITCS'25 online parallel

What we do Welcome! This site is about an online parallel event for the conference ITCS'25 that aims to provide an inclusive platform for the TCS researchers unable to attend the conference in person....

1228

Thomas Seiller @seiller.bsky.social · 04/12/2024

“Does language have a logical structure?” This is the title of a talk in which I discussed a recent collaboration with S. Jarvis and J. Terilla (CUNY), G. Gastaldi (ETH), and L. Pellissier (U. Créteil). It involves NLP, linear logic, categories and tropical geometry. seiller.org/Normes24.pdf

seiller.org

010

Thomas Seiller @seiller.bsky.social · 13/11/2023

Great news! The next Caleidoscope research school (« Complexity as a kaleidoscope ») in computational complexity will be organised at CIRM in Marseille (and the national calanque park) from March 31st to April 4th 2025. Save the date for great science and amazing landscapes!

000

Thomas Seiller @seiller.bsky.social · 01/11/2023

If you are interested in applying for associate professor positions, you should contact us *right now*, because the deadline for the first step in the process is approaching very quickly!

000

Thomas Seiller @seiller.bsky.social · 01/11/2023

Our lab @lipnlab.bsky.social will open 6 associate professor positions and one full professorship next year. Research at LIPN covers the following topics: logic, verification, combinatorics, combinatorial optimisation, mathematical programming, natural language processing, AI.

120

Reposted by Thomas Seiller

Henry Yuen @henryyuen.bsky.social · 25/10/2023

The videos from the SLMath/MSRI workshop on MIP* = RE are up: www.slmath.org/workshops/98.... It was extremely engaging, thanks to the enthusiastic participants. People weren't afraid to ask basic questions, everyone was curious, and the location was transcendent.

1104