Resources › ai › language_models › usage Bookmarks 2026-07-16 bookmark xenaproject.wordpress.com · 8 min Formal or not formal? That is the question in AI for theorem proving. proof assistants 2026-05-28 bookmark scottaaronson.blog · 6 min Dispatches from the possibly last days of human relevance 2026-02-06 video youtube.com · 2:10:59 AI math capabilities could be jagged for a long time – Daniel Litt evaluation 2025-06-27 bookmark gleech.org · 10 min How I don't use LLMs productivity 2025-02-19 bookmark microsoft.com · 1h 44m þÿThe Impact of Generative AI on Critical Thinking: Self-Reported Reductions in Cognitive Effort and Confidence Effects From a Survey of Knowledge Workers decision making 2025-01-25 bookmark arxiv.org · 35 min Transformer Memory as a Differentiable Search Index Subcategories