lean artifact · pending
Artifact ↗Source authenticated
Baker's Question on Smooth Hyperplane Sections over Finite Fields
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
disproved→disproved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-assisted. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Baker's Question on Smooth Hyperplane Sections over Finite Fields · Anti-Bertini embeddings
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-based models
model · ai model contributor · OpenAI / Frenzy Math
Rethlas
model · ai model contributor · OpenAI / Frenzy Math
Yutong Zhang
human · human collaborator
Yaoran Yang
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Baker's Question on Smooth Hyperplane Sections over Finite Fields →
Supersedes Baker's Question on Smooth Hyperplane Sections over Finite Fields →
This event attributed to Rethlas
Poonen 2004, Question 4.1: Conjecture statement evidence for this event
Baker's Question on Smooth Hyperplane Sections over Finite Fields evidence for this event
This event attributed to Yaoran Yang
This event attributed to GPT-based models
Baker's Question on Smooth Hyperplane Sections over Finite Fields parent of this event
VibeMathed record: Baker's Question on Smooth Hyperplane Sections over Finite Fields evidence for 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
Github repo of the proof evidence for this event
This event attributed to Yutong Zhang
Act on this frontier