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 28Anthropic Unveils MHS Standard to Let AI Agents Control Physical Lab and Factory Equipment3 min