Flouri et al.'s MSci identifiability conjecture, for clock-JC data with long loci
For every fixed finite admitted MSci model and its unchanged labelled sample panel, a finite site cutoff works uniformly over parameter pairs: complete sequence laws agree exactly when route-marginal timed-genealogy laws agree. All identifiable functionals and all genuine ambiguities transfer. Multiple introgressions, expansions, equal rates, rank-deficient routing and source-allowed inheritance endpoints are covered. The A–D compiler preserves tied ages and current-lineage routing. Trees end at the sample MRCA; route flags are marginalized. The channel is complete contemporaneous haploid data under homogeneous stationary clock-JC in mutation units. No arbitrary short-locus claim, universal cutoff over unbounded complexity, or general demographic uniqueness is made. Unknown locus-rate mixtures, unphased genotypes and other mutation/clock channels remain separate. No calendar calibration, finite-data accuracy or reliable numerical inference is supplied.
Exact FrontierDelta
Scope and record
Occurred: Oct 5, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. 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: Flouri et al.'s MSci identifiability conjecture, for clock-JC data with long loci · MSci clock-JC identifiability transfer
Confidence: Not scored
Registry verification: unreviewed · announcement · variant
Attribution
VibeMathed
registry · event recorded by
OpenAI assistant (dot; underlying model unspecified)
model · ai model contributor · OpenAI
Lineage and corrections
Flouri et al.'s MSci identifiability conjecture, for clock-JC data with long loci evidence for this event
Exact resolution and observation-channel limits evidence for this event
Exact A–D event compiler and transfer evidence for this event
Complete hand-proof observation bridge evidence for this event
Original conjecture and MSci model evidence for this event
This event attributed to OpenAI assistant (dot; underlying model unspecified)
VibeMathed record: Flouri et al.'s MSci identifiability conjecture, for clock-JC data with long loci evidence for this event
Flouri et al.'s MSci identifiability conjecture, for clock-JC data with long loci parent of this event
For every fixed finite admitted MSci model and its unchanged labelled sample panel, a finite site cutoff works uniformly over parameter pairs: complete sequence laws agree exactly when route-marginal timed-genealogy laws agree. All identifiable functionals and all genuine ambiguities transfer. Multiple introgressions, expansions, equal rates, rank-deficient routing and source-allowed inheritance endpoints are covered. The A–D compiler preserves tied ages and current-lineage routing. Trees end at the sample MRCA; route flags are marginalized. The channel is complete contemporaneous haploid data under homogeneous stationary clock-JC in mutation units. No arbitrary short-locus claim, universal cutoff over unbounded complexity, or general demographic uniqueness is made. Unknown locus-rate mixtures, unphased genotypes and other mutation/clock channels remain separate. No calendar calibration, finite-data accuracy or reliable numerical inference is supplied. parent of this event
Yang–Flouri 2022 restatement and biological ambiguities evidence for this event
Act on this frontier