TLDR Dev
·
4 hours ago
A benchmarking study finds that using an expensive frontier model to create a plan before handing off to a cheaper model for execution costs more than using the frontier model alone, because the expensive operation is reading context rather than editing code. The hybrid approach with Claude Opus and Gemini Flash costs $3.18 per task versus $2.78 for Opus alone, while achieving the same 84.6% pass rate on SWE-Bench Pro. The more effective approach, called /prewalk, has the frontier model start the task and swap to the cheap model after the first edit and a todo list are generated, reducing costs to $1.46 (47% cheaper than Opus solo) while maintaining 92% of performance.
TLDR
·
4 hours ago
Researchers built an agent swarm system that decomposes complex tasks into hierarchical trees with planner agents (using capable models) delegating to worker agents (using cheaper, faster models), then tested it on implementing SQLite in Rust from documentation. The new swarm reached 80% test pass rate in four hours using Grok 4.5, compared to the old system's collapse before hour two on the same task. The system uses specialized coordination mechanisms—custom version control handling 1,000 commits per second, design docs with compile-checked references, third-party merge conflict resolution, and stacked review lenses—enabling productive multi-agent collaboration at scales where single agents drift or human coordination breaks down.
TLDR
·
4 hours ago
AI models have disproven three major mathematical conjectures in recent weeks: ChatGPT refuted Erdős' Unit Distance conjecture, OpenAI's Sol found a counterexample to Grothendieck's 60-year-old question about group schemes, and Claude found a counterexample to the century-old Jacobian Conjecture. The achievements range from 1.2 million lines of Lean code for the Erdős proof down to 1,076 lines for the Grothendieck counterexample, with formalization times measured in days or weeks. Mathematicians are now considering AI tools essential for research, with some institutions offering free access to PhD students and faculty, fundamentally shifting how mathematical discovery and verification happen.
Latent Space
·
11 hours ago
● 10 sources
Alibaba announced that Qwen 3.8 Max (2.4T parameters) will be released as open-weight, and Kimi K3 (2.8T parameters) emerged as a strong open-weight contender, ranking #1 on Frontend Web App Arena with 1326 Elo and #4 on agentic tasks. The U.S. administration is considering layered policy measures against Chinese open models, while technical voices argue that restricting open models hurts competition and security more than it helps. Model routing, world modeling for agents, and long-horizon reliability are becoming first-class infrastructure problems, with frontier models now demonstrating superhuman performance on mathematical tasks like finding a counterexample to the 3D Jacobian conjecture.
