Elektrine lite

← Feed

⏚ Antoine Chambert-Loir

antoinechambertloir@mathstodon.xyz

<p>- Apprentice mathematician (Professor at Université Paris Cité), <br />interested in algebraic geometry, number theory and (more recently) proof formalization<br />- Apprentice musician (drums, tabla, cajon; previously Diderock; a rarely meeting jazz trio/quartet).<br />- Apprentice progressist.</p><p>In love with math, jazz, indian music and poetry. ⏚</p>

Posts

  • Post #4250268

    Ça fait 80 canadair. — en plein été caniculaire, pour un truc qui accélère le dérèglement climatique, contribue fortement à l&#39;épuisement de matériaux rares, déséquilibre l&#39;économie et le monde du travail, c&#39;était évidemment une décision urgente et prioritaire. @lemonde@mastodon.social https://mastodon.social/@lemonde/117009869448252072

  • Post #4122291

    Je decouvre ce message avec effarement. Le problème n&#39;&#39;est pas qu&#39;il y ait 15 millions de personnes en France touchées par l&#39;éco-anxiété, c&#39;est que les 45 autres millions s&#39;en foutent au lieu d&#39;être animées d&#39;une éco-colère radicale.

  • Post #4045639

    15 secondes de vol d&#39;hirondelles

  • Post #3603169

    Cognitive dissonance

  • Post #3529615

    The science preprint archive arXiv is leaving Cornell University to become an independent nonprofit organization. https://blog.arxiv.org/2026/06/30/arxivs-next-chapter/

  • Post #3469211

    Ce que je trouve lunaire dans l&#39;attaque d&#39;Emmanuel Lechypre contre Christophe Cassou, ce n&#39;est pas la phrase d&#39;introduction, « vous n&#39;avez pas été convaincants », c&#39;est la suite : « vous avez été abstraits », en prenant comme exemple « 2°C de réchauffement en 2050 ». Emmanuel Lechypre est chroniqueur économique. Il manipule toute la journée, dans ses interventions, des chiffres de la dette, du chômage, du PIB, qui, eux, sont des chiffres abstraits, construits, et presque...

  • Post #2465989

    « On affirme volontiers que l’intelligence artificielle a créé une crise de l’éducation. C’est inexact. Elle a surtout rendu impossible à dissimuler une confusion beaucoup plus ancienne. Pendant des années, les universités ont récompensé la fluidité plus que la compréhension, le poli plus que la profondeur, la performance plus que le jugement. Tant que produire un texte cohérent demandait du temps, de l’effort et une compétence relativement rare, l’illusion tenait. Elle ne tient plus. Lorsqu’un...

  • Post #2379447

    #ICM2026 The Société mathématique de France won&amp;#39;t attend the 2026 ICM. Their message mentions visas, personal safety, martial law, as well as anti-science behaviour and academic freedom. https://smf.emath.fr/actualites-smf/icm-2026-motion-du-ca

  • Post #2332803

    The new @arXiv 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 submiss...

  • Post #1971035

    Yet another stuff that will presented as a “mathematical breakthrough ” done by “autonomous AI”. In practice, a peripheral question nobody really cared about is indeed solved, that a weakly quasi-complete Noetherian local ring is in fact quasi-complete. The answer is negative, which just means that the intuition of its inventor was misled. And the “autonomous AI” is driven by a team of a dozen of people, built on 60 years of thinking about mechanization of mathematics, the 2 million human-wr...

  • Post #1712480

    Moi directeur de l&amp;#39;ENA, je créerai une épreuve de réservation de billet de train qui combine un train grandes lignes, un traon rapide, deux TER multi régions et vélo. Lae candidate qui préférera refaire la nationalisation du train entrera en deuxième année. S&amp;#39;ielle refait tous les sites web au passage, en troisième.

  • Post #1434258

    Gerd Faltings has been awarded the Abel Prize 2026. His work has transformed arithmetic geometry in various fundamental directions, by proving (1983) the Mordell Conjecture (1922) on solutions of diophantine equations defining curves and then the generalization in higher dimension (1989) of that conjecture by Lang. He had also revived (1984) the theory initiated by Arakelov in 1974 and showed its importance for arithmetic geometry. His proof of the Mordell-Lang conjecture uses a theory of heig...

  • Post #1366380

    (#math thread) Recently, in the Zulip server for Lean users, somebody went with something that looked like homework, but managed to sting me a little bit. It was about irreducibility of polynomials with integer coefficients. Specifically, the guy wanted a proof that the polynomial T^4-10 T^2+1 is irreducible, claiming that the Eisenstein criterion was not good at it. What was to proven (this is what *irreducible* means) is that it is impossible to write that polynomial as the product of two po...

  • Post #1330078

    I&amp;#39;m sad to have to post this, unless if there&amp;#39;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. @robinhouston https://mathstodon.xyz/@robinhouston/116410047757257052

  • Post #1145328

    Une élève de la classe de 3e de ma fille souhaite faire son stage dans un cabinet d&amp;#39;avocats, mais elle n&amp;#39;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&amp;#39;avance de votre aide.

  • Post #507175

    @juliegiovacchini https://mamot.fr/@juliegiovacchini/116084445383436595