Claude Formalizes Fermat’s Last Theorem in 11-Day Lean Project
Claude formalizes Fermat’s Last Theorem in a new research release from Anthropic, which says its AI agents produced an end-to-end Lean proof over 11 days. Announced September 4,...
Claude Commerce Agents Launch With Shopping and Merchant Blueprints
Claude commerce agents are getting an open development blueprint from Anthropic, giving retailers and other consumer businesses reference software for shopping assistance and st...
ASUS AI Factories Expand With Digital Twins and Governance Tools
ASUS AI factories are the focus of a new infrastructure push that brings deployment planning and operational controls together. At ASUS AI Tech in Seoul on September 3, the comp...
Meta Releases Muse Spark 1.3 With Stronger Coding and Agent Capabilities
Meta has released Muse Spark 1.3 through Muse Code and the Meta Model API, targeting developers who want AI to handle longer coding jobs and multi-step tasks more reliably. The ...
Microsoft Launches MAI-Transcribe-2 With 60 Languages and $0.10 Introductory Pricing
Microsoft has launched MAI-Transcribe-2, a speech-to-text model supporting 60 languages, with introductory pricing of $0.10 per hour of audio. The September 3 release expands th...
GitHub Unveils HydraFusion to Combine AI Models for Coding
GitHub has detailed Project HydraFusion, a Copilot research preview that coordinates AI models within a coding task. In its September 4 announcement, the company describes a sys...