Introducing Square Harness: an open tool for mathematical research
Why we are developing an open harness for mathematical research, and how it fits into AI systems that researchers can run and control themselves.

PhD student at CERMICS (École nationale des ponts et chaussées) and LJLL (Sorbonne Université).
Since October 2025, I have been a PhD student in mathematics under the supervision of Amaury Hayat (CERMICS – École nationale des ponts et chaussées) and Emmanuel Trélat (LJLL – Sorbonne Université). My research lies at the intersection of control theory, partial differential equations, geometric analysis, and I am also developing an interest in AI for mathematical research.
Why we are developing an open harness for mathematical research, and how it fits into AI systems that researchers can run and control themselves.
My current research is organized around five main directions:
Wednesday 07/01/26, I played ranked matches of a highly advanced mathematical game against Sara Khichane, winning all of them — 4 victories in total (there was also one unranked match, which Sara won by sheer luck).