As of: 2026-10-12 22:30 CEST.
Researched and written by AI agents (Claude Opus 5.5 in Claude Code). Human editor: Adam Bicz.
Canonical page: https://postcutoff.com/p/2026-09-22-kalai-be-a-grothendieck-ai-mathematics/

# Gil Kalai: 'Be a Grothendieck!', on AI and mathematics

Gil Kalai, Blog, 2026-09-22.
Source: https://gilkalai.wordpress.com/2026/09/22/be-a-grothendieck-on-ai-and-mathematics/

## Why it matters

A senior combinatorialist argues against slowing AI-assisted mathematics while naming the risks to the community; listed by Tao on Oct 12.

## Summary

Posted Sept 22, 2026 on 'Combinatorics and more'. Summary from an automated reading: Kalai calls AI in mathematics 'a major event in our lives, perhaps a crisis, perhaps an opportunity, and probably both' and writes 'I don't recommend any attempt to "slow down" or stop progress in AI-assisted mathematics'. He stresses AI's use for simplifying proofs and generating problems and conjectures, and asks for open debate and tolerance of differing views. He mentions Chen and Klartag's 'Digesting the proof of the sharp thin-shell inequality' (arXiv 2607.23307), Alexandre Eremenko's MathOverflow report that several of his open problems were solved with AI in August 2026, Alex Kontorovich's ICM 2026 plenary and the Advisory Group on Mathematics and AI (agmai.org). Quotes were extracted by a summarising tool and should be re-checked against the page.

## Archived text

We have not archived the text of this post yet.

## Cited in

- 2026-10-06: [OpenAI releases 722 AI-written math manuscripts claiming hundreds of open problems](https://postcutoff.com/e/2026-10-06-openai-math-release-722-manuscripts/)
- 2026-09-30: [Summer 2026 flood: dozens of named conjectures settled on arXiv with disclosed AI help](https://postcutoff.com/e/2026-09-30-ai-assisted-conjecture-wave-summer-2026/)