## 🔍 Core Insights **OpenAI** has disclosed hundreds of mathematical problem results produced by an **unreleased frontier model**, with each result consuming approximately three hours of **ChatGPT Pro** compute on average, sparking discussions in academia about verification methods and disclosure transparency [0][21][22]. Meanwhile, **Google** is advancing on both infrastructure and model fronts, releasing **EmbeddingGemma 2**, a multimodal embedding model with only **740 million parameters**, while partnering with **MIT** to launch the **Coco** agent platform to accelerate **TPU** software-hardware co-design [17][14]. ## 🚀 Key Updates - **OpenAI publishes mathematical research results from unreleased model** [0]: 722 manuscripts and 372 result families disclosed, with most proofs formally verified using Lean. - **Google releases EmbeddingGemma 2** [17]: A 740-million-parameter multimodal embedding model requiring only 191MB of memory after quantization, under Apache 2.0 license. - **Google and MIT launch Coco platform** [14]: An agent that assists TPU architects with software-hardware co-design, aiming to halve simulation insight time. - **SpaceX plans to raise $40 billion for NVIDIA chips** [6]: Led by Apollo, comprising a $10 billion loan and $30 billion in bonds, expected to close by 2027. - **Anthropic expands Cyber Verification Program** [7][16]: Integrating Project Glasswing, opening Claude Mythos 5.1 and other models to vetted security personnel across three tiers. - **ChatGPT launches Meetings plugin** [15]: macOS desktop Pro and Business users can automatically take notes and save summaries to Space. - **LibreOffice announces no built-in AI** [8]: Committed to not uploading documents or connecting to the internet, users can integrate local models via extensions. - **US Department of Justice requires renaming AI to "Superintelligence"** [3]: Implementing Trump's executive order, replacing AI with SI in official communications and court documents. ## 🔗 Sources [0] OpenAI publishes research results on hundreds of mathematical problems solved by unreleased frontier model — https://aihot.news/items/a13gkr4xafcr8yur8mfhtxkjy [3] Implementing Trump's executive order, US Department of Justice requires employees to rename AI as "Superintelligence" — https://aihot.news/items/gmkv5dekz22m9mji40zux016o [6] SpaceX reportedly plans to raise $40 billion to purchase NVIDIA AI chips — https://aihot.news/items/xoabqybtd9qrfmikalao9gba8 [7] Anthropic expands Cyber Verification Program, opens Claude Mythos 5.1 to security personnel across three tiers — https://aihot.news/items/v5zy6eil1k0yxlcfyxni9pk8q [8] LibreOffice announces no built-in AI in default version for the near term, users can integrate local models via extensions — https://aihot.news/items/okr8eghbxupjpdshccnv18r1r [14] Google and MIT launch Coco agent platform to accelerate TPU software-hardware co-design — https://aihot.news/items/yiqhvqfdgwj20vg4p9dqrtj1g [15] OpenAI launches Meetings plugin for ChatGPT, enabling automatic note-taking and summary saving — https://aihot.news/items/ai3nhsxfufr39qbsdf0cner9o