Cloudflare slashes multimodal inference costs while Google phases out Gemini Code Assist for Antigravity.
Over the past 24 hours, developer infrastructure saw key shifts: Cloudflare made aggressive price-performance moves with new multimodal models and major price cuts, Google restructured its developer tooling direction, and formal AI verification made headlines in advanced mathematical reasoning.
Cloudflare Launches Clef-omni and Cuts Clef-flash Pricing by 58%
SourceBuilders get access to competitive multimodal decision models at $0.15/M tokens and dramatic cost reductions for lightweight tasks.
Google Halts New Gemini Code Assist Sales, Directing Users to Antigravity
SourceFounders integrating coding assistant extensions should prepare for sunsetting workflows and evaluate Antigravity for code generation pipelines.
Autoformalization Milestone Reached on Fermat's Proof Despite Kernel Soundness Warnings
SourceProves AI autoformalization can rapidly synthesize millions of lines of machine-checked proofs, highlighting high-assurance code and logic verification opportunities.
Get tomorrow's digest the moment it ships.