AI Industry Development & Policy Dynamics

Cover foundation model launches, product releases, major company developments, funding activity, regulation, compliance, and compute infrastructure trends shaping the global AI landscape.
All
AI Agent
AI Industry News
AI Tokens
AI Tools & Apps

AI Completes 40M-Line CFSG Formal Proof in 24 Days

According to Guru Club, on October 31, Axiom's multi-agent AI system completed formal verification of the Classification of Finite Simple Groups (CFSG), humanity's largest mathematical proof. The verification, which took over a century and 15,000 pages written by more than 100 leading
GateNews·10-31 05:39
AI Completes 40M-Line CFSG Formal Proof in 24 Days

Salesforce Agrees to Acquire Defense AI Startup Rune for $375M

According to TechCrunch, on October 30, Salesforce agreed to acquire Rune Technologies, a U.S. defense-tech startup that develops AI software for military logistics, for $375 million in cash and stock. The acquisition deepens Salesforce's defense footprint through its Missionforce unit and adds Rune
CRM-1.25%
GateNews·10-31 03:12
Salesforce Agrees to Acquire Defense AI Startup Rune for $375M

Privacy-Focused AI Assistant Ollie to Shut Down on November 6

According to TechCrunch, Ollie, a privacy-focused AI assistant startup, announced yesterday (October 30) that it will shut down on November 6. Co-founder and CEO Bill Lennon said on X that competition from rivals including Muse and Instinct made it harder for Ollie to stand out, grow, and raise
GateNews·10-31 03:07
Privacy-Focused AI Assistant Ollie to Shut Down on November 6

Treasury Yields Drop as AI Selloff Drives Safety Bid

Investors moved to safety assets during the week ending Oct. 30, driving 10-year and 2-year Treasury yields lower. The shift followed a steep selloff in artificial intelligence equities and a surge in credit risk premiums. The combination of equity market stress and elevated credit concerns
GateMacroTradfiHub·10-31 01:01
Treasury Yields Drop as AI Selloff Drives Safety Bid