Google offers six free months of Antigravity to up to 10,000 researchers

Google is offering up to 10,000 researchers six months of free access to the highest usage tier of its Antigravity AI workbench. In a November 13 announcement, Google Research said outside scientists and developers can use Gemini 4 to divide work among AI agents or review technical documents. The application form says Google has received more than 27,000 applications since the program started on October 13 and that the first 3,000 scientists have received upgraded access.

The program covers individuals doing noncommercial scientific research. Applicants must be affiliated with a university, another degree-granting institution, a nonprofit research institute, or a national laboratory. Google says it assesses research credentials and potential impact. The form asks for an ORCID or Google Scholar profile and for a description of how the applicant would use the tools in their research. Selected researchers get access to Gemini 4 Argon in Antigravity.

How the agents divide and check the work

On August 31, Google showed how it had paired Antigravity’s Teamwork feature with Gemini 3.7 Flash. The November announcement describes how outside researchers can use it with Gemini 4 and details how Google applied it to a proof. The product documentation lists Teamwork and Boost as paid features in the Antigravity app and command line. Teamwork can send several agents to investigate a problem along different lines before assigning others to check intermediate results. In Boost, each stage builds on work done in the previous one, and a separate review checks the implementation and tests.

One example Google discussed was the Courtade–Kumar conjecture. Imagine sending a string of zeros and ones over a noisy connection that can flip each bit independently with the same probability. If you had to summarize the original string in one bit, which rule would leave that summary with the most information in common with the received signal? The conjecture says that under the stated conditions, copying any single input bit achieves the maximum. The preprint posted on September 21 proves the result for arbitrary input lengths.

Google said researchers at the Chinese University of Hong Kong reduced the problem to an optimization over 14 variables and identified a key lower bound. The team then used Teamwork to divide up the range of values to study and produce certificates for numerical checks. The authors report that the entire proof, including the certificates for the numerical parts, was checked in Lean, which checks each step against formal rules. Two other groups also submitted proofs of the conjecture on September 21 and 22. Researchers still have to establish that the precise statement checked by Lean corresponds to the original mathematical problem.

The grant follows the account on the form

Researchers can apply using a personal Google Account or a Workspace account at their institution. Google applies the upgrade to the account listed on the application. An institutional account works if the organization has enabled Antigravity. The grant is for individual use and does not include an institution-wide Gemini Enterprise license.

Google says it plans to add groups of recipients each week as capacity allows and will contact those selected. The form gives neither a deadline for applications nor a size for the next group. Google does not specify when an individual applicant can expect to hear back. Maintainers of open-source scientific software can optionally submit a record of their contributions. Google says it gives priority review to verified maintainers of major projects.

Google Research's Deep Review, introduced separately in October, returns comments on technical documents with references to check. The October launch announcement lists a free allowance of two reviews a week. A researcher with a manuscript can submit it to get feedback on the written argument and then consult the passages or references behind the comments.

Google said it would add workflows for formalizing proofs to Antigravity in future updates. The Lean code and the certificates behind the September proof are already available to read. The November announcement gives no date for outside researchers to start assigning proof formalization tasks through that workflow.