AlphaProof Nexus

Headlines · 2

1. 6d
   Google limits Gemini model choice, gates Argon to Fairwind

   Google is tightening control over which Gemini models users can pick. Its flagship Gemini 4 Argon, which replaces the cancelled Gemini 3.5 Pro, is limited to the 650-plus members of the Fairwind program; it has no public API, raises output to 1 million tokens from 64,000, and is priced at an introductory $2 per million input tokens and $10 per million output tokens before returning to $4 and $20. Google-reported scores include 77.9% on DeepSWE v1.1, 91.7% on LVBench, 51.3% on Zapier's AutomationBench and 68% on CWE-bench v1, tied with GPT-6 Astra; all figures come from Google's own testing and cannot be independently reproduced. From October 9, non-subscribing personal accounts see only an Auto option in the Gemini app, defaulting to Flash-Lite, while on October 8 Google Cloud launched the enterprise-focused Gemini agent, which gets its own Workspace account and email. In contrast, Google loosened several low-compute features, including Skills, Guided Vision and the open EmbeddingGemma 2 embedding model.

   钛媒体 · 🔥 0
2. Oct 12
   DeepMind’s AlphaProof Nexus solves 9 open Erdős problems, published in Science

   Google DeepMind’s AlphaProof Nexus, a Gemini 3.1 Pro-based system that drafts Lean proofs and uses compiler feedback to revise them, solved 9 of 353 open Erdős problems, including two that had stood for 56 years, according to a study published in Science. The system also proved 44 open OEIS conjectures, settled a 15-year-old algebraic geometry question and improved a known bound in min-max optimization, with inference costs of a few hundred dollars per problem. DeepMind says a simpler LLM-plus-Lean loop also solved all nine Erdős problems; an independent audit cited by 36Kr found one solution was already implied by an earlier theorem, which would reduce the count to eight under a stricter definition.

   The Decoder · 🔥 0

Experience and discussion from the community

Share my AlphaProof Nexus experienceAsk about AlphaProof Nexus