Resources › ai › language_models › applications › agents Bookmarks 2026-05-062 bookmark alexzhang13.github.io · 6 min The Mismanaged Geniuses Hypothesis context bookmark caj.al · 7 min Mathematics, AI, and Formalization: The State of Play proof assistants 2026-03-172 bookmark tristan.st · 2 min In search of falsehood proof assistants bookmark leodemoura.github.io · 5 min Teaching AI to Make Proof Automation Work proof assistants 2025-07-22 video youtube.com · 1 min DeepMind’s AlphaEvolve AI: History In The Making! 2025-06-26 bookmark anthropic.com · 17 min How we built our multi-agent research system distributed systems 2025-04-10 bookmark ludwigabap.com · 2h 37m paper cuda Subcategories