London VC Firm Backed by Spotify CEO, Air Street Capital, Raises $121 Million to Invest in AI Startups
AI chip startup d-Matrix raises $110 million with backing from Microsoft
Modular releases Mojo – a new programming language for AI developers
OpenAI to host its first developer conference on November 6 in San Francisco
Intuit launches generative AI-powered digital assistant for small businesses and consumers
HubSpot Unveils HubSpot AI and New Sales Hub at INBOUND 2023
Falcon 180B SOTA released on Hugging Face rivaling Llama2 and PaLM-2
Google will soon require disclaimers for AI-generated political ads
Slack’s AI tool that can recap channels and threads starts testing this winter
Apple is reportedly spending ‘millions of dollars a day’ training AI
Pentagon Plans Vast AI Fleet to Counter China Threat
Lily AI changing ecommerce search, making selling easier for retailers
Survey: Experts favor new U.S. agency to govern AI
ERNIE, China’s ChatGPT, Cracks Under Pressure
AI Helps BHP Fight Declining Ore Grades at Biggest Copper Mine
Researchers use AI to find new magnetic materials without critical elements
Provably safe systems: the only path to controllable AGI
We describe a path to humanity safely thriving with powerful Artificial General Intelligences (AGIs) by building them to provably satisfy human-specified requirements. We argue that this will soon be technically feasible using advanced AI for formal verification and mechanistic interpretability. We further argue that it is the only path which guarantees safe controlled AGI. We […]