#Google

AIReflection has joined a coalition including AWS, Microsoft, OpenAI, Google, and Nvidia on a framework governing how the U.S. government licenses and deploys AI. The agreement, which includes a non-binding memorandum of understanding with the DoW, commits to safety, red-teaming, and ongoing evaluation and explicitly prohibits unlawful mass surveillance and autonomous weapon use. Reflection says it will keep its commitment to open source while customizing its models for scientists in national labs.

AIAt Google Cloud Next this week, Google introduced its 8th-generation TPUs, split into two variants: 8t for massive-scale training and 8i for low-latency inference. Google presents the launch as a milestone in its accelerator roadmap, aimed at optimizing the full AI stack. The post links to a blog with further details on the systems architecture.

AINano Banana 2, also called Gemini 3.1 Flash Image, adds visual grounding with Google Search, 512px resolutions, and extreme aspect ratios of 1:8 and 1:4. The guide advises using it as the default for new projects, with Nano Banana Pro reserved for complex prompts it fails, and keeping Thinking mode off by default.

AINano Banana announces Nano Banana 2, which it describes as its best image generation and editing model yet. The model can be tried in the Gemini app, Google AI Studio, and other places the post does not specify.

Why it matters: The post names the access points for Nano Banana 2, which helps readers see where the image generation and editing model can be tried.

AIQuoc Le announced that Aletheia, a math research agent, autonomously solved 6 of 10 FirstProof problems, the best result in the inaugural challenge. The post says this exceeds last year's IMO-gold achievement and points to a paper and thread for full details. The accompanying figure shows 10 unmodified problems, 6 candidate solutions per agent, and expert evaluation yielding 6 solved problems on a best-of-2 basis.

AIGoogle has released Gemini 3.1 Pro, reporting 77.1% on ARC-AGI-2 and more than twice the score of Gemini 3 Pro on that benchmark. The model is rolling out to developers in preview through the Gemini API and Google AI Studio, to enterprises via Vertex AI and Gemini Enterprise, and to consumers in the Gemini app and NotebookLM.

Why it matters: The post pairs the release with a benchmark table comparing Gemini 3.1 Pro against Gemini 3 Pro, Claude Sonnet 4.6, Claude Opus 4.6, and GPT-5.2 on reasoning and coding tasks.

AIA new paper shows researchers using "vibe-proving" with Gemini Deep Think to tackle open problems and refute long-standing conjectures. The work also reports discovering obscure mathematical links across theoretical computer science, physics, and other fields.

AIQuoc Le announced a paper describing Aletheia, an agent built on Gemini Deep Think that goes beyond Olympiad problems to PhD-level mathematics. The post says Aletheia iteratively generates and verifies proofs, collaborates on human-AI research, autonomously generates a paper on eigenweights, and solves open Erdős conjectures.

AIGoogle's latest blog post describes how Gemini Deep Think is being applied to advance mathematical and scientific research. The post itself gives no specific benchmarks, figures, or release details beyond this announcement.

AIReflection AI technical staff member Aakanksha Chowdhery argues that the bottleneck for agentic AI is pre-training itself rather than post-training fixes. Drawing on her work on PaLM and early Gemini, she says next-token prediction breaks down for long-horizon planning and that objectives, attention, and training data must evolve.

AIYi Tay says Gemini 3 Flash is out and is an outstanding model, with Flash alone competitive with the best GPT-5 models. Google DeepMind describes Gemini 3 Flash as offering frontier intelligence at a fraction of the cost, built for speed and scale.

AIARC Prize reports that the top Kaggle entry reached 24% on the ARC-AGI-2 private dataset at $0.20 per task, and that all winning solutions and papers are open source. The top verified commercial model, Opus 4.5 (Thinking, 64k), scored 37.6% at $2.20 per task, while a Poetiq refinement on Gemini 3 Pro reached 54% at $30 per task. The author argues that refinement loops are the main driver of 2025 progress, and says ARC-AGI-3 is planned for early 2026.

Why it matters: The post links 2025 competition results to a broader argument about refinement loops, showing how benchmark outcomes are being read as evidence of AI reasoning progress.

AIGoogle's Gemini 3 Deep Think mode is now available in the Gemini app for Ultra users. The post says it uses parallel thinking for difficult coding and scientific tasks and builds on technology that reached gold-medal level at the ICPC World Finals and IMO.

AIQuoc Le announced that Google's Gemini team is recruiting for a new Singapore team focused on advanced reasoning and LLM reinforcement learning. The post invites exceptional engineers and researchers to join the team, which is led by Yi Tay and reports into Quoc Le's Mountain View group.

AIGoogle's Gemini 3 Deep Think (Preview) reaches 45.14% on ARC-AGI-2's semi-private eval at $77.16 per task. ARC Prize says this doubles the prior state of the art, with Gemini 3 Pro scoring 31.11% at $0.81 per task.

AIAman Sanger of Cursor says the team is hard at work on Composer 2. The post gives no features, benchmarks, or release timing, though it follows Cursor's $2.3B Series D raise and over $1B in annualized revenue.

AIARC Prize Foundation announced ARC Prize Verified, a program that certifies frontier model scores on the ARC-AGI benchmark using hidden test sets and adds a third-party academic panel to audit and open-source its testing process. Five AI labs, including Google and xAI, are sponsoring ARC-AGI-3 development, and the foundation says donations do not influence verification scoring. Models that pass verification will appear on the official leaderboard with a verification badge.