Learning Curves
Documenting my learning.
- Hi, I'm Léo Dreyfus-Schmidt.
- Mathematician in theory, machine learning in practice.
- I build software for mathematicians.
- All posts
- 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
- 2025-12-12 the social proof: how mathematical practice is evolving
- 2025-04-18 assistants of abstraction: proofs & machines
- See more...