RESEARCH LeanMarathon: A Multi-Agent System Formalizes Four Erdős Problems in Lean 7/10 2 min read 2 months ago
RESEARCH MiniMax M3: Open-Weight Model, 1M-Token Context Rivals Top Labs 1/10 3 min read 2 months ago
RESEARCH Study: AI Search Agents Confirm Known Answers Instead of Researching 8/10 3 min read 2 months ago
RESEARCH Code Is How AI Agents Think and Act, Meta-Stanford-UIUC Review Argues 8/10 3 min read 2 months ago
RESEARCH One Company Spent $500M on Claude in a Single Month, Axios Reports 8/10 3 min read 2 months ago
RESEARCH Critical ‘BadHost’ Flaw in Starlette Imperils Millions of AI Agents 8/10 3 min read 2 months ago
RESEARCH Chatbots Struggle With News Accuracy and Sourcing Ahead of U.S. Midterms, Bloomberg Reports 8/10 3 min read 2 months ago
RESEARCH Andrej Karpathy Joins Anthropic’s Pretraining Team, Leaves OpenAI for Frontier LLM Work 8/10 3 min read 2 months ago