lean artifact · pending
Artifact ↗Source authenticated
The Homogeneous Polynomial Lyapunov Converse Conjecture
VibeMathed recorded: The Homogeneous Polynomial Lyapunov Converse Conjecture. Consult the linked registry entry for the original report and scope.
Exact FrontierDelta
Prior state unknown→disproved
Scope and record
Occurred: Jul 17, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: The Homogeneous Polynomial Lyapunov Converse Conjecture · Polynomial Lyapunov
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Jun Liu
human · human collaborator
Maxwell Fitzsimmons
human · human collaborator
GPT-5.6-Sol Pro
model · ai model contributor · OpenAI
Codex (GPT-5.6-Sol Ultra)
model · ai model contributor · OpenAI
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to Maxwell Fitzsimmons
This event attributed to Jun Liu
This event attributed to GPT-5.6-Sol Pro
This event attributed to Codex (GPT-5.6-Sol Ultra)
The Homogeneous Polynomial Lyapunov Converse Conjecture parent of this event
The Homogeneous Polynomial Lyapunov Converse Conjecture evidence for this event
VibeMathed record: The Homogeneous Polynomial Lyapunov Converse Conjecture 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
Lean 4 formalization evidence for this event
Act on this frontier