GGoogle / Gemini

AIGoogle researchers used the Aletheia agent, powered by Gemini 3 Deep Think, to attempt 10 FirstProof challenge problems without modification.

Why it matters: The post gives the autonomous setup and expert-evaluated results for an AI agent on FirstProof math problems, useful for judging how far such systems go on research-level math.

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.

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.

AIOriol Vinyals says Google's Gemini 3.1 Pro has landed with strong performance across the board. He adds that its SVG generation has improved greatly, a capability that existing evals fail to measure.

Why it matters: The post's own benchmark table compares Gemini 3.1 Pro with Gemini 3 Pro, Claude Sonnet 4.6, Opus 4.6 and GPT-5.2, which helps readers see where it leads and where it does not.

AIQuoc Le announced a paper describing Aletheia, an agent built on Gemini Deep Think that goes beyond Olympiad problems to PhD-level mathematics.

Why it matters: The post details an agent's iterative proof checking and open-problem results, which show how AI research workflows are being tested beyond competition math.

AIQuoc Le announced a case study using Gemini to systematically evaluate 700 conjectures labeled open in the Erdős Problems database.

Why it matters: The case study shows how a systematic AI sweep found new solutions and missed prior literature across 700 open Erdős conjectures, offering a concrete look at AI-assisted math research.

AIGoogle's Gemini 3 Deep Think mode is now available in the Gemini app for Ultra users.

Why it matters: The post names the access tier and the coding and scientific task focus, which helps readers judge whether the mode fits their work.

AIQuoc Le, who posts for Google and Gemini, says Gemini 3 Deep Think is now powered by an even stronger version of the engine behind Google's gold medal-level results at IMO and ICPC. He calls it state of the art above state of the art and says more will follow soon.

Why it matters: The post links Deep Think to earlier IMO and ICPC gold-level results and shows benchmark charts, helping readers compare it with Gemini 3 Pro and rival models.