Tessera
Folgen

Thomas Seiller

@seiller.bsky.social

CNRS researcher, mathematical foundations of computer science, philosophy of computation. Scientific secretary of CoNRS section 06, member of the board of CoNRS interdisciplinary committee CID 53. 🐘@thomasseiller@lipn.info 🏠https://www.seiller.org

23 Posts108 Follower93 Folgt
minimaliste13@minimaliste13.cpesr.fr · last mo.

É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.

"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...

france3-regions.franceinfo.fr

Antonio E. Porreca 🐳@aeporreca.org · 2mo ago

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.
Clément Canonne@ccanonne.github.io · 2mo ago

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:
Clément Canonne@ccanonne.github.io · 2mo ago

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.

Clément Canonne@ccanonne.github.io · 2mo ago

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:
Greg Egan@gregegansf.bsky.social · 2mo ago

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.

Barbara Fantechi@barbarafantechi.bsky.social · 2mo ago

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.

Dr. Haydee Lindo, PhD@haydeelindo.bsky.social · 2mo ago

ICM Panel: AI for Mathematics It has been strongly impressed upon all of us that we need to adapt to the times (i.e. get involved with the communities using AI for math research)

Crowd faces panel on a stage. Screens show Terry Tao talking about Math and AI
Thomas Seiller@seiller.bsky.social · 2mo ago

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

Thomas Seiller@seiller.bsky.social · 2mo ago

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.

Thomas Seiller@seiller.bsky.social · 8mo ago

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

FOCS 2026@focs2026.bsky.social · 12mo ago

⏰ 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↮

ccailleaux.bsky.social@ccailleaux.bsky.social · last yr.

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
Adina Williams@adinawilliams.bsky.social · last yr.

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...

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...

itsatcuny.org

Thomas Seiller@seiller.bsky.social · last yr.

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).
Adriana Guatame-García@adriguatame.bsky.social · 2y ago

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.