Petrykowski's conjecture on bounded orbits and definable amenability

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope.

Exact FrontierDelta

Prior state unknown→disproved

Scope and record

Occurred: Sep 4, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. 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: Petrykowski's conjecture on bounded orbits and definable amenability · Petrykowski's conjecture

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

ChatGPT 5.6
model · ai model contributor · OpenAI

Artem Chernikov
human · human collaborator

Evidence vector

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Named evidence

VibeMathed record: Petrykowski's conjecture on bounded orbits and definable amenability

specialist registry · passed

Checked here on 22 September 2026 against arXiv:2609.05711: the abstract states the counterexample as a simple expansion of the theory of nonabelian free groups with a global type of bounded left-translation orbit that is not definably amenable, extending the construction of Chernikov, Hrushovski, Kruckman, Krupiński, Moconja, Pillay and Ramsey. The introduction credits Petrykowski for the proposal and Newelski for recording it, and the reference list carries Newelski, Isr. J. Math. 187 (2012), and Newelski-Petrykowski in JLMS. The mathematics was not checked here; eighteen days old, no referee.

Source ↗

Petrykowski's conjecture on bounded orbits and definable amenability

preprint · pending

Primary source named by the VibeMathed record. Presence in this import is not an independent mathematical verification.

Source ↗

Lineage and corrections

VibeMathed record: Petrykowski's conjecture on bounded orbits and definable amenability evidence for this event

This event attributed to ChatGPT 5.6

This event attributed to Artem Chernikov

Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event

Petrykowski's conjecture on bounded orbits and definable amenability parent of this event

Petrykowski's conjecture on bounded orbits and definable amenability evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Help verify Open canonical problem Explore evidence graph