Aux étudiantes et étudiants, aux personnels universitaires et au public en France : il est important de connaître l’affaire Karim Adiprasito. Le tribunal disciplinaire de l’Université hébraïque de Jérusalem a reconnu ce mathématicien coupable de harcèlement sexuel, notamment d’actes à caractère sexuel qualifiés d’indécents, envers sa doctorante, Johanna Steinmeyer. Il a retenu l’exploitation du rapport de pouvoir et la création d’une dépendance affective. Son appel a été rejeté en août 2026. Il s’agit d’une condamnation disciplinaire universitaire. La procédure a duré près de trois ans. Le tribunal d’appel affirme qu’Adiprasito a bénéficié d’une procédure équitable et relève des demandes répétées apparaissant comme des démarches dilatoires. En janvier 2026, Johanna a été retrouvée morte chez elle, à 29 ans, avant la conclusion de l’appel. Raz Kupferman, professeur et mathématicien de premier plan du département, impliqué dans le traitement de cette affaire, a précisé à la demande de ses proches que la cause de son décès n’avait pas été déterminée. Il ne faut ni parler de suicide ni établir un lien de causalité avec cette affaire. Adiprasito a été interdit d’accès au campus pendant cinq ans et condamné à verser l’équivalent de deux mois de salaire brut aux héritiers de Johanna. Le tribunal d’appel a jugé cette sanction clémente. Johanna est morte à 29 ans. Lui poursuit son activité dans une fonction prestigieuse de directeur de recherche au CNRS, à l’Institut de mathématiques de Jussieu–Paris Rive Gauche, financée par l’argent public, donc par les contribuables français. Les institutions françaises doivent répondre : quand ont-elles été informées ? Quelles protections ont-elles mises en place ? Son rôle d’encadrement est-il réexaminé ? Les mathématiques sont importantes. La vie humaine, la dignité et les droits des femmes le sont davantage. Aucun accomplissement scientifique ne justifie l’abus d’autorité.

mathematicians and muse spark collaborated to solve 6 open problems in math: 1. The Strict Threshold for Gaussian Ellipsoid Fitting 2. Finite-Time Blow-Up of Radial Negative-Energy Solutions for the Mass-Critical Biharmonic Nonlinear Schrödinger Equation 3. Semiabelian Groups Need Not Be Monomial 4. Tightness of the Cycle-Based Relaxation for Completed Length-Three Alpha-Cycles 5. String Two-Point Function = Height Function on a Curve 6. On Solvable Evolution Algebras and a Conjecture by García-Martínez and Pérez-Rodríguez

Any argument along the lines of "this proof is correct but has negative value" is dumb. Obviously we can just ignore the proof! If the problems is incentives (people don't want to find the right proof any more, glory is already harvested) then let's change the incentives.

Sharing my slides "Vibe Proving on a €200 Budget" and practical LLM workflows, tools, prompts, agents, and deployment practices for research. slides: docs.google.com/presentation… repo: github.com/mlelarge/ai-resea…

hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final ((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3, has jacobian determinant -2, and sends (0, 0, -1/4), (1, -3/2, 13/2), and (-1, 3/2, 13/2) to (-1/4, 0, 0)

If you are in Seoul for ICML Workshops, come to check our latest work with Guillaume Baudart: Library Before Proof: Making LLM-Generated Rocq Usable by Mathematicians (Friday #2408) See you there! #ICML

If you are in Seoul for ICML Workshops, come to check our latest work with Guillaume Baudart: Library Before Proof: Making LLM-Generated Rocq Usable by Mathematicians (Friday #2408) See you there! #ICML