Google's 145-page doc details how researchers use Gemini for scientific discovery
dzscholar · reddit · 2026-09-16
Google published a 145-page document on how researchers use Gemini for scientific problems. Key takeaways summarized by a Reddit user:
- Adversarial reviewer: Gemini found a significant flaw in a cryptography proof that had already passed human peer review — far beyond PDF summarization.
- Cross-domain transfer: the model pulls theorems from geometry and measure theory to advance algorithmic questions, leveraging broad general knowledge.
- Human-in-the-loop division of labor: humans pick problems, verify every proof, and judge novelty; Gemini suggests ideas, spots gaps, and does heavy computation.
- Automation loops, not conversations: in some projects Gemini runs a propose-expression → write-test-code → read-errors → self-correct loop, with humans stepping in only when a promising lead appears.
The overall arc: AI-assisted research is shifting from chat toward sophisticated embedded automation loops. Full document on arXiv (2602.03837).
More from Research
- Tencent unveils Hyra 2.0, a research agent that builds reusable scientific tools — TencentHunyuan · 2026-11-02
- What broke when I ran a leaderless agent swarm with no orchestrator — 7 failure modes and fixes — LostHumanity67 · 2026-11-02
- Forced yes/no prompts push GPT and Claude to 95%+ confidence on Goldbach's unproved halt test — Nir777 · 2026-11-02
- General Reasoning explains how to train agent swarms with RL and latency pressure — rosstaylor90 · 2026-11-02
- Mathematician Tony Feng: current-paradigm LLMs lack the diversity of thought research needs — littmath · 2026-11-02
- Measure Theory vs Probability: 'You're Confusing the Finger With the Moon' — LucaAmb · 2026-11-02