code · pending
Artifact ↗Source authenticated
The Yau–Tian–Donaldson Conjecture for Constant Scalar Curvature Kähler Metrics
The paper's appendix draws a distinction worth keeping: a counterexample may reduce to a finite certificate, checkable once the object is written down, or it may itself be a theorem quantified over all degenerations. This is the second kind. The method field records construction, because the resolution exhibits an explicit fivefold, but the difficulty lay elsewhere - candidate manifolds of this shape have been available since 2008, and what was missing was the proof that the mechanism works.
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: Aug 19, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: The Yau–Tian–Donaldson Conjecture for Constant Scalar Curvature Kähler Metrics · Yau–Tian–Donaldson
Confidence: Not scored
Registry verification: unreviewed · preprint · candidate
Attribution
VibeMathed
registry · event recorded by
Jihao Liu
human · human collaborator
Fable 5
model · ai model contributor · Anthropic
GPT-5.6-sol
model · ai model contributor · OpenAI
Danus
model · ai model contributor · FrenzyMath(AI4M@PKU)
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Jihao Liu
This event attributed to Danus
This event attributed to GPT-5.6-sol
This event attributed to Fable 5
Danus agent source evidence for this event
The Yau–Tian–Donaldson Conjecture for Constant Scalar Curvature Kähler Metrics parent of this event
The Yau–Tian–Donaldson Conjecture for Constant Scalar Curvature Kähler Metrics evidence for this event
The paper's appendix draws a distinction worth keeping: a counterexample may reduce to a finite certificate, checkable once the object is written down, or it may itself be a theorem quantified over all degenerations. This is the second kind. The method field records construction, because the resolution exhibits an explicit fivefold, but the difficulty lay elsewhere - candidate manifolds of this shape have been available since 2008, and what was missing was the proof that the mechanism works. parent of this event
VibeMathed record: The Yau–Tian–Donaldson Conjecture for Constant Scalar Curvature Kähler Metrics evidence for this event
Act on this frontier