SEP 07Claude Formalizes Fermat’s Last Theorem in 11 Days, Producing 13 Million Lines of Lean Code3 min
SEP 06Seattle Times and Newsday Sue OpenAI and Microsoft Over Unauthorized Use of Published Work3 min
SEP 06GitHub’s HydraFusion Routes AI Coding Tasks Across Multiple Models to Cut Costs by Up to 67%3 min
AUG 29Federal Judge Strikes Down Pentagon Ban on Anthropic AI Models as Unconstitutional Retaliation3 min
AUG 26Prompt Injection Is the Top AI Security Threat. Real-World Incident Data Tells a Different Story.3 min