Development

The AMS president proves a result he is unsure he could reach alone

development2026-01-14

Claim

Ravi Vakil, president of the American Mathematical Society, used Gemini Deep Think to prove a new result in algebraic geometry, saying the model produced insights he is unsure he could have reached alone.

Reporting date: 2026-01-14 (not necessarily the event date)

Sources

Attribution and reporting linked by this record; links do not imply independent verification.

Welcome to January 14, 2026 (theinnermostloop.substack.com)

Knowledge graphopen in browser →

Reported in

Welcome to January 14, 2026

Actor

Evidence for

Supersedes

Tao says he learned something from the machine

Referenced by

Cite or correct this record

Citation formatCitation text

The AMS president proves a result he is unsure he could reach alone
Innermost Loop KB — secondary record
Reporting date: 2026-01-14
KB permalink: https://nicholsn.github.io/innermost-loop-kb/developments/2026-01-14-vakil-proves-with-deep-think
Claim: Ravi Vakil, president of the American Mathematical Society, used Gemini Deep Think to prove a new result in algebraic geometry, saying the model produced insights he is unsure he could have reached alone.
Attributed sources:
- Welcome to January 14, 2026 — https://theinnermostloop.substack.com/p/welcome-to-january-14-2026
This citation does not imply independent verification of linked-source claims.

Suggest a correction — opens a GitHub draft for you to review and submit.