{"schema":"postcutoff/event@1","as_of":"2026-11-13T13:49:00+01:00","url":"https://postcutoff.com/e/2026-02-11-deepmind-aletheia-deep-think-science/","md":"https://postcutoff.com/e/2026-02-11-deepmind-aletheia-deep-think-science/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"2026-02-11-deepmind-aletheia-deep-think-science","date":"2026-02-11","date_precision":"day","short_title":"DeepMind's Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results","deck":null,"takeaway":"Google DeepMind described Aletheia, a Gemini Deep Think–based maths research agent.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"pending","labels":["Event confirmed","Awaiting review"]},"sources":[{"n":1,"title":"Google DeepMind: Accelerating mathematical and scientific discovery with Gemini Deep Think","url":"https://deepmind.google/blog/accelerating-mathematical-and-scientific-discovery-with-gemini-deep-think/","type":"official","group":"primary","domain":"deepmind.google"},{"n":2,"title":"Aletheia paper (arXiv 2602.10177)","url":"https://arxiv.org/abs/2602.10177","type":"paper","group":"primary","domain":"arxiv.org"},{"n":3,"title":"InfoQ: DeepMind Aletheia agentic math","url":"https://www.infoq.com/news/2026/04/deepmind-aletheia-agentic-math/","type":"press","group":"press","domain":"infoq.com"}],"official":2,"filed":"2026-09-29","updated":"2026-10-19","orgs":["Google DeepMind"],"title":"DeepMind's Aletheia agent and Gemini Deep Think report autonomous Erdős solutions and new physics and CS results","summary":"Google DeepMind described Aletheia, a Gemini Deep Think–based maths research agent. It autonomously solved Erdős problems #652, #654 and #1040 and resolved #1051, which led to a peer-reviewed generalisation. A semi-autonomous sweep of 700 open Erdős problems resolved 4 and found existing literature solutions for several more. With 18 external researchers, Deep Think also produced a cosmic-string gravitational-radiation result and refuted a decade-old online-optimisation conjecture.","key_facts":["Aletheia paper: arXiv 2602.10177; up to 90% on IMO-ProofBench Advanced","Autonomous: Erdős #652, #654, #1040; #1051 resolved and generalised","700-problem sweep: 4 open questions resolved; several 'open' problems found already solved in the literature","Physics: a new Gegenbauer-polynomial solution removing singularities in cosmic-string gravitational radiation calculations","One paper (eigenweights) classed by DeepMind as essentially autonomous and publishable"],"key_numbers":[],"tags":["math","erdos","gemini","deep-think","physics","agents"],"science":{"field":"mathematics","subfield":"combinatorics / number theory (plus physics, CS)","problem":"Open Erdős problems; conjecture in online optimisation; cosmic-string radiation calculations","result":"Several Erdős problems solved autonomously, a decade-old online-optimisation conjecture refuted, and a new analytic technique for cosmic-string radiation.","open_since":"","ai_system":["Aletheia","Gemini Deep Think"],"human_role":"Mixed: some autonomous; others in collaboration with 18 external researchers","verification":{"key":"expert","label":"Expert-checked","text":"Batch of results in unrefereed preprints (arXiv 2602.10177 and companion papers), checked by the collaborating mathematicians, who are co-authors; one generalisation reported as peer-reviewed (not verified here). Status varies by result"},"status":"pending","shock":""},"body_md":"## What happened\n\nDeepMind packaged Gemini Deep Think into an agent that generates, checks and revises proofs, and released a batch of results across maths, CS and physics.\n\n## Why it matters\n\nGoogle's answer to OpenAI's maths push showed that several labs could now produce publishable research-level results, although many were on problems nobody had seriously attacked.","disputed":[{"label":"Verification","text":"Batch of results in unrefereed preprints (arXiv 2602.10177 and companion papers), checked by the collaborating mathematicians, who are co-authors; one generalisation reported as peer-reviewed (not verified here). Status varies by result","sources":[]}],"related":[{"id":"2026-02-14-first-proof-challenge","url":"https://postcutoff.com/e/2026-02-14-first-proof-challenge/","date":"2026-02-14","date_precision":"day","short_title":"AI solves about half of 10 unpublished research problems in the 'First Proof' challenge","deck":null,"takeaway":"It gave a cleaner measure than olympiads of whether AI can do research maths: at the time, about half the time.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":2,"filed":"2026-09-29","updated":"2026-10-05","orgs":["Google DeepMind","OpenAI"]},{"id":"2026-01-06-erdos-728-gpt-5-2-aristotle","url":"https://postcutoff.com/e/2026-01-06-erdos-728-gpt-5-2-aristotle/","date":"2026-01-06","date_precision":"day","short_title":"Erdős problem #728 solved near-autonomously by GPT-5.2 Pro and Harmonic's Aristotle, with a Lean proof","deck":null,"takeaway":"It showed the combination of informal LLM reasoning with formal verification as a practical, trustworthy workflow for research maths that non-experts could run.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":3,"official":1,"filed":"2026-09-29","updated":"2026-09-29","orgs":["OpenAI","Harmonic"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-19","type":"edit","text":"Status confirmed → pending (batch of unrefereed preprints checked by co-authors, not independently)"},{"date":"2026-09-29","type":"filed","text":"Created"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-09-29","run":null,"sources_read":null,"updated":"2026-10-19","human_review":null,"version":{"date":"2026-10-19"}},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":null,"in_training_data":true},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":null,"in_training_data":true},{"model_id":"gemini-4-hydrogen","name":"Gemini 4 Hydrogen","cutoff":"2026-03","days_after":null,"in_training_data":true},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":null,"in_training_data":true}],"short_url":"https://postcutoff.com/s/deepmind-aletheia-agent-gemini"}