Learning Curves

Documenting my learning.

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

Mathematician in theory, machine learning in practice.
I build software for 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.

All posts

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
2026-02-03 étale things and living graphs
2026-01-12 proof by construction: building a mathematician's assistant
See more...