AlphaProof Code

Gemini (model family)

Google DeepMind's frontier, natively multimodal LLM family spanning Pro, Flash and Flash-Lite tiers plus Deep Think reasoning. On Nov. 10, 2026 Google opened Gemini 4 Carbon (gemini-4-carbon) to paying developers and enterprises and to Google AI Ultra subscribers. Google says Argon remains the choice for most software engineering and knowledge work, and Carbon is for harder long-horizon tasks. The high-volume workhorse remains Gemini 3.8 Flash. Reuters and Bloomberg reported on Sept. 30, 2026 that Google no longer plans to release Gemini 3.5 Pro.

Gemini app

Google's consumer AI assistant (formerly Bard), powered by the Gemini models, with multimodal chat, Gemini Live voice/vision, image and video generation, and Deep Research. It is a delivery surface for Project Astra's universal-assistant capabilities. From Oct. 13, 2026, Google AI Pro and Ultra subscribers can use Gemini 4 Argon in the Gemini app and AI Mode. From Nov. 10, 2026, Google AI Ultra subscribers are also getting Gemini 4 Carbon there. Google has not said that Pro or free users receive Carbon.

AlphaFold

DeepMind's protein-structure-prediction system. AlphaFold2 solved the decades-old protein-folding problem; AlphaFold 3 (co-developed with Isomorphic Labs) extends predictions to how proteins interact with DNA, RNA, ligands and other molecules. Its open database covers 200M+ structures.

AlphaGenome Atlas

A roughly 1-petabyte catalogue of predicted molecular effects for about 9 billion single-nucleotide variants, covering every possible single-letter DNA change in the human genome, plus an AlphaGenome Variant Impact score that combines AlphaGenome and AlphaMissense.

Model Y

Tesla

Tesla's highest-volume electric crossover SUV and the core of its global vehicle lineup. Tesla says it completed the refreshed Model Y rollout in 2025, and the current lineup spans rear-wheel drive, all-wheel drive, premium, and performance variants depending on market.

Model 3

Tesla

Tesla's mass-market electric sedan and one of the company's longest-running products. The current Model 3 lineup emphasizes efficiency, software features, and lower entry pricing than Model Y or Cybertruck.

Cybertruck

Tesla

Tesla's stainless steel electric pickup truck, positioned as a high-performance utility vehicle with adaptive suspension, high towing capacity, and fast charging. Tesla's current lineup includes Dual Motor All-Wheel Drive, Premium All-Wheel Drive, and Cyberbeast trims.

Full Self-Driving (FSD)

Tesla

Tesla's advanced driver-assistance software that can navigate city streets, make lane changes, park, and use summon features under active driver supervision. Tesla positions the same AI foundation behind FSD as part of its broader autonomy and robotics stack.