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