Business, General, News Crowdstrike and Microsoft: What we know about global IT outage July 19, 2024 A mass IT outage has caused chaos around the world, with major airlines among the victims.
Tencent Open Sources Hunyuan-A13B: A 13B Active Parameter MoE Model with Dual-Mode Reasoning and 256K Context Tencent’s Hunyuan team has introduced Hunyuan-A13B, a new open-source large language model built on a sparse Mixture-of-Experts (MoE) architecture. While…
LeanAgent: The First Life-Long Learning Agent for Formal Theorem Proving in Lean, Proving 162 Theorems Previously Unproved by Humans Across 23 Diverse Lean Mathematics Repositories The problem that this research seeks to address lies in the inherent limitations of existing large language models (LLMs) when…
This AI Paper from OpenAI Introduces the GPT-4o System Card: A Framework for Safe and Responsible AI Development Multimodal models are designed to make human-computer interaction more intuitive and natural, enabling machines to understand and respond to human…