Ten instances of Anthropic's Claude Sonnet 5.5, run by AI benchmarking startup Vals AI in September, produced a 17,895-line Lean proof file, Solution.lean, establishing the pentagonal bipyramid as the…
AutoGPT, an open-source project with 185,000+ GitHub stars, has launched a hosted Platform that lets users build, deploy, and run AI agents that execute complete workflows, with a free self-hosted opt…
More than 700 engineers from Apple, AWS, Google, NVIDIA, Microsoft, OpenAI, Salesforce, and Snowflake registered for a hackathon hosted by AI newsletter AlphaSignal, where over 100 developers competed…
Cursor's June 2026 SDK update introduces custom tools, nested subagents, auto-review safety gates, and custom persistence stores, transforming the IDE assistant into a deployable agent runtime for CI/…
Anthropic's enterprise infrastructure upgrade separates agent reasoning, which remains on Anthropic's cloud, from code execution, which moves to customer infrastructure. Self-hosted sandboxes keep sen…