Yann LeCun：会写形式化证明不等于数学已超人类

Meta creates non-voting Class C stock to fund the AI race as Q3 free cash flow turns negative on $34.9B capex; 2026 capex narrowed to $135–145B

Meta details Prometheus, its gigawatt-scale Ohio training supercluster: phase one built and trained Muse Wonder at 85%+ pre-training and 90%+ RL goodput, interruptions down 99%, scaling toward ~1 million GPUs with Vera Rubin next

Meta releases Muse Spark Open weights: 816B-A42B multimodal model with 1M context, built for coding and agents

Meta's Muse-based scaffold helps medical experts write 10 health-science manuscripts on ~4.95M de-identified patient records, with humans owning cohort and causal choices

First independent tests of Muse Wonder: Wonder Full scores 56 and ties Sonnet 5.5 on coding agents, but at $4.52 per task it costs more than GPT-6 Astra and Gemini 4 Argon

Meta launches Muse Wonder and Muse Wonder Full: frontier agent models with Active Memory and Active Focus; API and Muse Code today, Muse assistant for subscribers next