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-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
- 2025-01-27 the ai mirror: black samurais and synthetic users
- 2024-12-01 have your ais talk to my ais
- See more...