Learning Curves

Documenting my learning.

Hi, I'm Léo Dreyfus-Schmidt — .

Mathematician in theory, machine learning in practice.
I build tools for mathematicians (and non-mathematicians).

Latest releases

The adjoint demo

An AI-assisted workspace for exploring and iterating on mathematical ideas.

arxitex open source

Automated structuring of arXiv math papers into a searchable graph.

Mathxiv Explorer webapp

A web application for exploring papers as dependency graphs rather than linear PDFs.

Coming up

The bitter lesson of agent engineering...

All posts

2026-06-01 talk at the automath seminar
2026-05-18 the pullback, agentic search engine for mathematical statements
2026-03-14 analogy, grossman, intelligence
2026-03-07 trust, the last frontier of ai
2026-02-17 lost in the literature: ai and the problem of mathematical search
See more...