Grothendieck's Finite Flat Group Scheme Order Question
VibeMathed recorded: Grothendieck's Finite Flat Group Scheme Order Question. Consult the linked registry entry for the original report and scope.
Exact FrontierDelta
Scope and record
Occurred: Jul 11, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: Grothendieck's Finite Flat Group Scheme Order Question · Grothendieck group schemes
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Akhil Mathew
human · human collaborator
Kevin Buzzard
human · human collaborator
GPT-5.6 Sol
model · ai model contributor · OpenAI / Anthropic
Claude Fable 5
model · ai model contributor · OpenAI / Anthropic
Lineage and corrections
This event attributed to Kevin Buzzard
This event attributed to Akhil Mathew
This event attributed to GPT-5.6 Sol
This event attributed to Claude Fable 5
VibeMathed record: Grothendieck's Finite Flat Group Scheme Order Question evidence for this event
Grothendieck's Finite Flat Group Scheme Order Question parent of this event
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event
Grothendieck's Finite Flat Group Scheme Order Question evidence for this event
Act on this frontier