🤖 【AI Daily Briefing】2026.10.07

• OpenAI has publicly released 722 mathematical manuscripts and 372 families of results in one go, covering long-standing open problems such as the four-dimensional Kakeya conjecture and the quasi-Riemann hypothesis; some include Lean formal verification【研】

• Mistral unveiled Large 4 “Le Chonk,” a trillion-parameter multimodal model that activates 49 billion parameters per inference; its weights will be released on October 27【模】

• Twenty-two leading scholars, including Hinton, Bengio, and OpenAI’s chief scientist, jointly warned in a paper that AI R&D automation is nearing the tipping point of an “intelligence explosion”【策】

• Meta, Sierra, Walmart, Stripe, and others jointly launched the “Personal Agent Protocol,” an open standard for interactions between AI agents and businesses【产】

• Lambda is reportedly seeking to raise up to $4 billion at a $14.5 billion pre-money valuation; its backlog grew from $15 billion to $50 billion in three months【投】

• Anthropic is expanding its Claude Startups program, offering startups one year of Claude Team for free, plus $1,000 in API credits【产】