1,387Artificial Analysis Rebuilds Its AI Leaderboard to Stop Models From Gaming ItArtificial Analysis·Benchmarks·5 hrs ago·
7,665Anthropic's Claude Formally Proved Fermat's Last Theorem in 11 DaysAnthropic·Reasoning·9 hrs ago·
2,900Google Opens Lyria 3.5 to Developers, Generating Full Songs With VocalsGoogle AI Studio·Audio·12 hrs ago·
112Cohere Labs' ATE Dataset Reveals Only 2.6% of AI Agent Tools Actually WorkCohere·Agents·12 hrs ago·
2,424Anthropic Ships Terraform-Style Workflow to Deploy Claude Agents From CodeClaudeDevs·Agents·1 day ago·
2,948xAI Pushes Grok Bot Into Enterprise With Audit Controls and Free TrialsGrok Bot·Development·1 day ago·
278Prime Intellect Slashes GLM-5.2 Weight Transfer by 22x With RDMAPrime Intellect·Training Infra·1 day ago·
4,826Nous Research's Hermes Desktop Picks and Runs Local AI Models in One ClickNous Research·Development·1 day ago·
