Concept detail
AI agents
47 tagged videos · 1 connection videos · degree 0
Publication timeline
- 2025-011 video
- 2025-061 video
- 2025-111 video
- 2026-042 videos
- 2026-051 video
- 2026-061 video
- 2026-0814 videos
- 2026-0913 videos
- 2026-1014 videos
Source videos
Observed neighbors
Mathlib scaling
Reaching estimated 100M lines requires agent-integrated library development beyond human contribution capacity
1 source videos
AI Can Write the Proof. Who Checks It? — Leonardo de Moura