Stable forking conjecture in simple theories

Counterexample from a quantum graph algebra

Model / AI: ChatGPT 5.6 Sol

Freitag and Mutchnik report that guided conversations with ChatGPT led to a simple theory built from an infinite-dimensional vector space over the fraction division ring of a quantum graph algebra, giving a counterexample to the 1996 conjecture. The authors developed and checked the mathematics.

Source read 2026-09-08. Read the abstract and the authors' division-of-labour account in arXiv v1. No formal or independent verification was found.

• Paper — Paper