{"schema":"postcutoff/event@1","as_of":"2026-10-14T07:26:00+02:00","url":"https://postcutoff.com/e/2026-10-12-drouot-claude-opus-proof-bulk-conductances/","md":"https://postcutoff.com/e/2026-10-12-drouot-claude-opus-proof-bulk-conductances/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-10-12-drouot-claude-opus-proof-bulk-conductances","date":"2026-10-12","date_precision":"day","short_title":"\"The proof presented in this paper is due to Claude Opus 5.5\"","deck":"Alexis Drouot publishes Claude's 40-minute elementary proof of his conjecture on geometric bulk conductances","takeaway":"A mathematical physicist posted a paper whose proof he credits almost entirely to Claude Opus 5.5, which produced a 5-page solution in 40 minutes, and wrote that 'LLMs can solve Ph.D.-suited projects in just a few prompts'.","category":"science","category_label":"Science & math","importance":3,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":[{"n":1,"title":"arXiv 2610.16208: Geometric bulk conductances in even dimensions","url":"https://arxiv.org/abs/2610.16208","type":"paper","group":"primary","domain":"arxiv.org"}],"official":1,"filed":"2026-10-14","updated":"2026-10-14","orgs":["University of Washington","Anthropic"],"title":"\"The proof presented in this paper is due to Claude Opus 5.5\": Alexis Drouot publishes Claude's 40-minute elementary proof of his conjecture on geometric bulk conductances","summary":"arXiv 2610.16208 (12 Oct 2026) by Alexis Drouot (University of Washington) gives an elementary proof, using only Stokes' theorem and the Poincaré lemma, that the geometric Kubo formula in any even dimension equals a topological integer times the bulk conductance, extending his 2D result with Xiaowen Zhu. Martinian and Stoiber had recently proved the statement by other means. The comments field says \"The proof presented in this paper is due to Claude Opus 5.5\": given his paper and the obstruction, Claude \"proposed a 5-page solution within 40 minutes\". Drouot's Section 1.4 reflects on what this means for training mathematicians.","key_facts":["Paper: 'Geometric bulk conductances in even dimensions', Alexis Drouot (University of Washington; CPT Aix-Marseille), arXiv 2610.16208 [math-ph], 15 pages, 12 Oct 2026","Result: for a short-range projector P on ℓ²(ℤ^{2n}, ℂ^m) and a transverse family U of open sets, Tr(P[P,1_{U1}] ∧ … ∧ [P,1_{U2n}]) is a topological integer X_U times the bulk conductance of P; the proof deforms a cochain (an idea due to Kitaev) instead of the sets","Priority: an elementary proof of a recent result of Martinian–Stoiber, which Drouot learned of only 'at terminal stages'; Claude found the reference when asked for a literature search, and Drouot believes Claude 'did not base its response on it'","AI role: 'Early October 2026, I asked this question to Claude Opus 5.5 … Claude proposed a 5-page solution within 40 minutes. Even in dimension two, Claude's proof is much simpler and more elegant than the one presented in [DZ26]. The present paper is Claude's solution, together with a few of my own edits.'","Human role (listed by the author): identify the question and formulate the conjecture; ask Claude with the relevant material; simplify Claude's proof; expand technical details; organize and interpret; track down ownership of ideas","Reflection: 'While it is disturbing to see an LLM solve what could have been a full thesis in under an hour, I believe I learnt a lot from this project … I prefer to stay out of controversies and prepare for a brutal transformation of mathematics … How should we teach the next generation of researchers, now that LLMs can solve Ph.D.-suited projects in just a few prompts?'"],"key_numbers":[],"tags":["math","mathematical-physics","topological-insulators","kubo-formula","claude-opus-5-5","ai-proof"],"science":{"field":"physics","subfield":"mathematical physics (topological insulators)","problem":"Geometric Kubo formula / bulk conductance in even dimensions (Drouot's conjecture extending Drouot–Zhu)","result":"Elementary proof that the geometric bulk conductance factors as a topological integer times the bulk conductance, in all even dimensions.","open_since":"","ai_system":["Claude Opus 5.5"],"human_role":"AI-led proof: the author posed the conjecture and edited; Claude produced the proof","verification":{"key":"preprint","label":"Preprint only","text":"Unrefereed preprint; the statement was proved independently by Martinian–Stoiber"},"status":"confirmed","shock":""},"body_md":"## What happened\n\nOn 12 Oct 2026 Alexis Drouot posted [arXiv 2610.16208](https://arxiv.org/abs/2610.16208). In 2024 he and Xiaowen Zhu proved a bulk-edge result for 2D topological insulators along curved boundaries and he conjectured the even-dimensional analogue. In early October 2026 he gave Claude Opus 5.5 the 2D paper, a project description and the obstruction he saw in higher dimensions; \"Claude proposed a 5-page solution within 40 minutes\", simpler than the original even in 2D. The paper is \"Claude's solution, together with a few of my own edits\", and the comments field says \"The proof presented in this paper is due to Claude Opus 5.5\".\n\nThe statement itself had been proved shortly before by Martinian and Stoiber, which Drouot learned only near the end (through a literature search by Claude). The new contribution is the elementary proof.\n\nSection 1.4 is a personal reflection: Drouot finds it \"disturbing to see an LLM solve what could have been a full thesis in under an hour\", says he will \"prepare for a brutal transformation of mathematics\", and asks how to train researchers \"now that LLMs can solve Ph.D.-suited projects in just a few prompts\".\n\nNo reactions were found on 14 Oct (web search; X not searched directly).\n\n## Why it matters\n\nThis is a frank first-person record of an AI proof on a research-level question, with a clear credit line to the model and a list of what the human did. Drouot's description of the work as thesis-sized is a data point for the debate on graduate training that Tao and others have opened.","disputed":[],"related":[{"id":"2026-10-13-ai-assisted-results-october-2026","url":"https://postcutoff.com/e/2026-10-13-ai-assisted-results-october-2026/","date":"2026-10-13","date_precision":"day","short_title":"October 2026: the arXiv stream of conjectures settled with disclosed AI help continues","deck":null,"takeaway":"In the first nine days of October 2026 the stream did not slow down: each arXiv listing brought several named conjectures with a disclosed AI role, and two new patterns appeared.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":16,"official":16,"filed":"2026-10-13","updated":"2026-10-14","orgs":["OpenAI","Anthropic","Google DeepMind","various mathematicians"]}],"people":[],"posts":[],"videos":[],"models":[],"changes":[{"date":"2026-10-14","type":"filed","text":"Created from the arXiv paper"}],"provenance":{"agents":[{"model":"Claude Opus 5.5","maker":"Anthropic","tool":"Claude Code"}],"filed":"2026-10-14","run":null,"sources_read":"The arXiv paper","updated":"2026-10-14","human_review":null,"version":null},"gaps":[{"model_id":"gpt-6-astra","name":"GPT-6 Astra","cutoff":"2026-04","days_after":165,"in_training_data":false},{"model_id":"claude-opus-5-5","name":"Claude Opus 5.5","cutoff":"2026-06","days_after":104,"in_training_data":false},{"model_id":"gemini-4-argon","name":"Gemini 4 Argon","cutoff":"2026-03","days_after":195,"in_training_data":false},{"model_id":"grok-4-7","name":"Grok 4.7","cutoff":"2026-05","days_after":134,"in_training_data":false}],"short_url":null}