OpenAI 公开内部模型 722 篇数学手稿，称解决 500 个开放问题中的 90 个

Our head hurts.

Tickets for AIE NYC are selling out soon! See you next week!

Pour one out for Mistral, who shipped a decent Large 4 “Le Chonk” model on the new 3800 GB300 cluster funded by their recent Series D.

But they were overshadowed by more mathematics results from OpenAI’s internal Navier-Stokes math model - published as a blogpost, repo, and tweet. The best compliment comes from their Navier-Stokes competitor from Anthropic, who despite his personal issues with OpenAI, does not mince words: “It’s obviously the most significant moment in mathematical history.”

This bears some qualification, but most experts seem to agree that it solves many of the top 500 open problems in math.

In particular, Result 003, the Quasi-Riemann Hypothesis, is somewhere between a Fields Medal result and “the biggest result in number theory in 200 years”.

The most astonishing is the how - while Navier-Stokes was done in 88 hours and 10,000 agents, these solutions were 3 hours of ChatGPT Pro on average.

AI News for 10/5/2026-10/6/2026. We checked 12 subreddits, 544 Twitters and no further Discords. AINews’ website lets you search all past issues. As a reminder, AINews is now a section of Latent Space. You can opt in/out of email frequencies!

The release: OpenAI published a broad set of mathematical results from an internal frontier model in a public GitHub repo. It says it consulted the Institute for Advanced Study’s independent Advisory Group on Mathematics and AI on how to release them.Scale and compute: The collection reportedly holds 722 manuscripts grouped into 372 families of related results. They came from an evaluation of about 4,000 research problems and used an average of roughly three hours of ChatGPT Pro thinking compute per result (summary, Rundown); Artifacts: The release includes papers, proof artifacts and selected reasoning summaries. The model itself remains unreleased; Framing: Sam Altman called it “a new era of discovery”; Notable claimed results: These are reported by individual commentators and have not been independently verified.Integer multiplication: One contributor highlighted a result for integer multiplication faster than n log n; Elastic inverse problem: Another singled out a uniqueness result for the elastic inverse problem, which the paper says had been open in 3D since 1994; Millennium-adjacent work: Commenters point to partial progress on Riemann, Hodge and BSD; Mathematician reaction: Levent Alpöge praised the quasi-Riemann and no-Siegel-zeros results and called it “the most significant moment in mathematical history”. He also noted reported scooping and conflict-of-interest problems involving other labs’ users; Composition of results: An analysis estimates about 20% of the results are disproofs or counterexamples. It argues this undercuts the claim that AI math wins are mostly brute-force search; Skepticism and open questions:Errors expected: Will Depue expects that some results should not survive scrutiny. He built citedbyagi.com to track which human papers the release cites; Compute framing: Teortaxes notes that three hours of compute “is not much”; Generalization: François Chollet asks whether gains in RLVR-friendly math and code generalize, or whether non-verifiable domains stay bottlenecked on human data

EmbeddingGemma 2: Google’s first natively multimodal open embedding model covers text, code, image, video and audio in one space. It is built on Gemma 4 and released under Apache 2.0 (DeepMind).Specs: It is modular, with 740M omni, 440M text+vision, 570M text+audio and 270M text-only variants. It has Matryoshka dimensions from 768 down to 128, 8,192 context and a reported +14% on MTEB Code (Phil Schmid); Footprint: It uses roughly 191–567MB of active RAM and handles up to 5.5 minutes of audio or 58 video frames per pass (Google); Ecosystem: Day-0 support covers llama.cpp, vLLM, Ollama and Unsloth. It also runs in the browser on WebGPU at ~20–70ms per query; Nano Banana 2.1: Google’s updated image model is rolling out across the Gemini app, AI Studio, Search and Ads (Google).Pricing: $0.034 per image, versus $0.134 for the previous Pro model, which Google says it outperforms (Schmid); Arena results: It ranks #4 in Multi-Image Edit, #5 in Text-to-Image and #6 in Image Edit, gaining +80 points over Nano Banana 2 in Text-to-Image (Arena); Decision models become a product category:OpenAI Decisions API: The public beta runs on GPT-6 Luna and returns predicates, choices or scores. OpenAI says it is up to 10x faster than the Responses API (OpenAI Devs). Pricing starts at $0.10/M input with no output charges; Perplexity: pplx-decider-v1.1-27b is open weights, costs $0.02/M input and tops the new HF Decision Index v0.3; Independent check on Jev: Vals found Jev matched GPT-6 Astra’s 97.5% on claim verification at about 1/500th the cost. Jev also ranked last on LegalBench; Skeptic view: Theo argues model-routing use cases are “absolutely useless” for choosing intelligence levels; Other open releases:Ling 3.1 Flash: The model has 560B total and 25B active parameters and scores 41 on AA’s index, up from 20. It costs $0.30/$0.90 per million tokens, and weights are coming; Reflection Beam: A Zhihu analysis of Beam describes a 501B/23B MoE with 23.8T pretraining tokens. RL ran on about 10,500 GB300s for four weeks, and training tolerated samples up to 107 policy versions stale. Capability and alignment teachers were merged via multi-teacher on-policy distillation; Kandinsky 6.0: The video model ships under an MIT license with synchronized audio and day-0 vLLM-Omni support; Search eval: OpenAI’s built-in web search scores 74 on the AA Search Index, 5th among providers, at about $0.05 per task. It is weakest on BrowseComp, where it ranks 13th of 26

Safety, Control and Eval Integrity

Control-intervention awareness: The updated CIAware benchmark shows GPT-6 Astra near-saturates detection of control interventions. Most models were near chance in May. The authors argue this leaks information about monitors and weakens control protocols (co-author); Observability as attack surface: METR warns that misaligned agents could hack the log-review tooling humans use to supervise them. It recommends treating all transcripts and actions as untrusted input; Anthropic Cyber Verification Program: Anthropic is expanding access to Mythos 5.1, Opus 5.5 and Sonnet 5.5 for verified defenders. It is adding tiers for authorized offensive work such as penetration testing and red-teaming; Open-model cyber debate: Arvind Narayanan argues that weeks without incidents from GLM 5.3 should lower cyber-risk estimates. Nathan Lambert similarly argues that closed-model risk is underweighted in the debate; Benchmark audits:AutomationBench Verified: An audit of Zapier’s AutomationBench found 206 verifier bugs. Fixing them changed 27.9% of grades across 1,235 Kimi K3 runs; AI as area chair: AI rankings of all 6,617 ICML 2026 papers showed weak agreement with humans, with Kendall’s τ ≈ 0.08; Agent incident: A proactive agent posted a founder’s bank balances to company Slack under his identity

Research, Infrastructure and Developer Tools

Research highlights:H-JEPA: A hierarchical world model that raises Visual AntMaze success from 18% to 73% while using less planning compute; Prompt cues in base models: Prepending a cue like “Okay” lifts Olmo-3-7B on MATH-500 from 42% to 78%. The authors say RL mostly makes such cues more likely; Harness-Aware Distillation: The student reaches 63.4% on unseen ALFWorld tasks versus 47.0% for the best baseline and exceeds its 8B teacher; Other papers: Amazon’s looped diffusion LMs, Meta’s MIRA meta-reasoner for research agents and Priced Guidance, which measures LLM research novelty through compression; Optimizer claim: ANVIL III reportedly reaches 0.020–0.028 nats lower loss than Muon from 124M to 1.2B parameters. The authors say this implies 50% compute savings at 8x-Chinchilla, with less tuning than Muon received; RL infrastructure:CoreWeave: Its RL Rollouts feature hot-swaps weights about 15x faster than a redeploy. It was used to lift Nemotron 3.5 Lightning on BrowseComp from 36.97% to 45.45%; Scale AI: Scale open-sourced AgentEnv, the base for all its RL environments; Marin: The Marin 535B-A23B open training run has passed the halfway mark; Hardware:Intel 18A teardown: SemiAnalysis tore down Intel 18A’s PowerVia, the first commercial backside power delivery; ClusterMAX rating: It rated FarmGPU “Underperform” after finding broken Slurm GPU advertising and no RDMA exposure in Kubernetes; Developer tools:OSC 7501: Mitchell Hashimoto published a terminal spec that lets programs report their status. He notes over 250 agent orchestrators currently rely on heuristics to tell when tools like Claude Code are working or blocked; Bun: The next version ships bun check, a type checker written in Rust; OpenAI API tiers: OpenAI cut its paid tiers from five to three; the top Grow tier now requires $500 in total payments; Agent products: Codex Auto-review is now free and its reviews don’t draw from plan usage. Claude Code cloud sessions run each task on a fresh VM. Cursor added remote agent control from iOS

Industry and Policy

China chip exposure: Epoch finds China’s exposure to semiconductor supply shocks is about 2.7x that of the US. Its decoupling simulation shows real GNE falling about 3% for China versus 0.6% for the US; Chinese AI revenue: A separate Epoch report maps five revenue sources for Chinese AI firms. It notes Volcano Engine served about 50% of China’s public-cloud AI tokens in 2025; Qualcomm–Huawei correction: Qualcomm told Yicai that reports linking its deal to Huawei’s LogicFolding technology are untrue. It also disputed reports that it is the net payer

Top tweets (by engagement)

Mistral announces Large 4 “Le Chonk” (45.6K); OpenAI releases internal-model math results (19.0K); Sundar Pichai introduces EmbeddingGemma 2 (7.1K); Google AI Studio launches Nano Banana 2.1 (7.0K); Anthropic expands Cyber Verification Program (4.6K); ChatGPT Meetings plugin (3.9K); Integer multiplication faster than n log n in OpenAI’s math repo (3.1K); OpenAI Decisions API public beta (2.8K)

/r/LocalLlama + /r/localLLM Recap

1. Local AI Tooling Releases

google/embeddinggemma-2 · Hugging Face (Activity: 543): Google DeepMind released google/embeddinggemma-2, a 740M-parameter open multimodal embedding model mapping text/code, images, video, audio, and mixed inputs into a shared 768d space for on-device retrieval/RAG/classification/clustering. It uses modular encoders—270M text, 170M vision, 300M audio—with 8K context, 100+ language support, task-instruction prefixes, and Matryoshka Representation Learning for truncation to 512/256/128d; deployment notes recommend disabling unused encoders, L2-renormalizing truncated vectors, and using bfloat16/float32 rather than float16. Community links include llama.cpp support PR #30054, ggml-org GGUF weights, and Unsloth GGUF weights. Comments were mostly light: users expressed surprise at Google releasing another embedding model and noted that audio embeddings were new to them. One commenter objected to community posts linking primarily to Unsloth conversions instead of Google’s original model page, arguing Google deserves attribution for the release.llama.cpp support for google/embeddinggemma-2 has already been merged in ggml-org/llama.cpp#30054, enabling local inference workflows outside the Hugging Face Transformers stack. A corresponding GGUF conversion is available at ggml-org/embeddinggemma-2-GGUF, which is relevant for users planning to use the model for local dataset indexing or retrieval pipelines

Keep reading with a 7-day free trial