I'm sad to have to post this, unless if there's a mathematical lesson to gather from it. Would it be possible that some actually trivial moves elude us for some reason, and which the computer explores.
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
mastodon
4.5.8
- 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. ⏚
0
Followers
0
Following
Joined August 19, 2018
BookWyrm:
achambert-loir@bw.heraut.eu
Posts
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
@antoinechambertloir@mathstodon.xyz
·
3d ago
7
0
4
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
@antoinechambertloir@mathstodon.xyz
·
Mar 18, 2026
@jehansanspour @burgervege
Et comme disait un prof de français, la logorrhée, c'est comme la diarrhée mais par la bouche...
View full thread on mathstodon.xyz
4
0
1
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
@antoinechambertloir@mathstodon.xyz
·
Mar 11, 2026
@hongminhee @Gargron
I would like to add one point that I rarely see addressed: a translation is also a responsability, that the text provided is faithful to the original, possibly imperfect, but faithful.
If it is provided to you, at your request, them it's a contract between you and your provider. You might say that automatic translation is better than nothing.
But if it is imposed on you, as in subtitles, then you have no other choice but them and the responsability is on the provider. In this case, automatic translation will essentially not be admissible.
View full thread on mathstodon.xyz
9
0
2
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
@antoinechambertloir@mathstodon.xyz
·
Mar 02, 2026
@fj - il va d’où à où ?
- 5 avions, mais pour quoi faire ?
- plus celui qui filme ?
0
2
0
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
@antoinechambertloir@mathstodon.xyz
·
Feb 17, 2026
22
0
12
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
⏚ Antoine Chambert-Loir
@antoinechambertloir@mathstodon.xyz
- 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. ⏚
mathstodon.xyz
@antoinechambertloir@mathstodon.xyz
·
Nov 27, 2022
Une élève de la classe de 3e de ma fille souhaite faire son stage dans un cabinet d'avocats,
mais elle n'a pas réussi en obtenir.
Ce stage doit avoir lieu en Île de France (de préférence, sur la ligne sud du RER B) du 16 au 20 janvier 2022.
Merci d'avance de votre aide.
6
0
63