Oct 29 AI Daily

NVIDIA Releases Open Speech Model Nemotron 3.5 Transcribe with Granary v2 Data Pipeline

NVIDIA released Nemotron 3.5 Transcribe, an open-weight promptable speech model combining transcription in 40 languages, translation for 31 languages to or from English, speaker attribution in 13 languages, and audio Q&A in a single checkpoint handling up to one hour and eight speakers. It leads open-weight models on the Hugging Face Open ASR Leaderboard for English at 5.33% average WER and achieves 2.8% AA-WER with roughly 4B active parameters out of 30B via a hybrid Mamba–Transformer MoE. The company also open-sourced the Granary v2 data pipeline with manifests covering 463,062 hours across 48 languages; in a medical case study, fine-tuning cut held-out WER from 22.44% to 12.17%, a 45.8% relative reduction.

Also: TechCrunch · AI, The Decoder, Hugging Face 热门模型

An agent swarm formalized the 15,000-page finite simple groups classification in 24 days — the bottleneck was Lean verification, not the models

Axiom released on October 26 the first complete machine-checked proof of the Classification of Finite Simple Groups: 43.1M lines of Lean with 2.05M declarations, of which about 1.2M lines came from the earlier Qiuzhen-CFSG formalization and the remaining ~42M lines were produced in 24 days by swarms of dozens of AI agents. The formalization surfaced 34 noteworthy deviations from the published record, including counterexamples to a closure assertion in Walter's 1986 proof, which AxiomProver fixed by producing and formalizing a new Theorem 2.3. The author argues the real bottleneck was Lean's rechecking throughput and human confirmation of the top-level statement, not model capability.

Google's Q3 search growth misses expectations as AI Mode monetization lags, investors worry

Google's Q3 search and other advertising revenue grew 12% year over year to $63.4 billion, below the 15% analysts expected, and the company lost up to 10% of its market value. Executive Philipp Schindler acknowledged on the earnings call that strong growth in AI Mode queries had an impact due to lower monetization, while Google announced plans to expand its ad program for chatbots and said the Gemini app has reached one billion users. Cloud revenue grew 103% to $30.7 billion, Q3 capital expenditures hit $51.4 billion, and the full-year 2026 forecast remains at $195 billion to $205 billion.

Also: TechCrunch · AI

OpenAI offers up to $500 per month in API credits for eligible ChatGPT Pro and Business subscribers

Starting today, eligible ChatGPT Pro and Business subscribers can claim up to $500 per month in API credits to build apps and agents.

Also: r/OpenAI

NVIDIA RTX Spark Laptops Update: New Models Ship With Nemotron 3.5 Transcribe, Agent Resource Controls and DLSS Games

NVIDIA announced that RTX Spark laptops are now available from ASUS, Dell, HP, Lenovo, Microsoft and MSI starting at $2,599, combining a Blackwell RTX GPU and Grace CPU in one superchip with up to 128GB unified memory and 1 petaflop of FP4 AI performance. Alongside, NVIDIA released Nemotron 3.5 Transcribe, an open weight speech model handling transcription, speaker attribution and translation across 40 languages with about 4.3 billion active parameters, ranking No. 1 on Hugging Face Open ASR. NVIDIA App adds GPU resource management to balance foreground apps and background agents; Liquid AI's LFM3 open model family gets day-zero support via llama.cpp and vLLM; Phantom Blade Zero launches Oct. 28 at 7 p.m. PT with ray tracing and DLSS 4.5; and RTX Remix 1.6 brings path tracing and DLSS 5 w…