Resources › ai › language_models › applications Bookmarks 2026-05-062 bookmark alexzhang13.github.io · 6 min The Mismanaged Geniuses Hypothesis agentscontext bookmark caj.al · 7 min Mathematics, AI, and Formalization: The State of Play agentsproof assistants 2026-03-172 bookmark tristan.st · 2 min In search of falsehood agentsproof assistants bookmark leodemoura.github.io · 5 min Teaching AI to Make Proof Automation Work agentsproof assistants 2025-07-22 video youtube.com · 1 min DeepMind’s AlphaEvolve AI: History In The Making! agents 2025-06-26 bookmark anthropic.com · 17 min How we built our multi-agent research system agentsdistributed systems 2025-04-10 bookmark ludwigabap.com · 2h 37m paper agentscuda 2024-05-25 bookmark openreview.net · 1 min Unnamed Document multimodal 2024-01-03 bookmark arxiv.org · 48 min MotionGPT: Human Motion as a Foreign Language computer visionmultimodal Subcategories agents (7) multimodal (2)