Algebra·OpenAI Math·Result 201
A counterexample to Kurosh’s division-ring problem
One of the 372 results in OpenAI's public mathematics catalogue, filed under algebra: 1 preprint, the latest dated 23 September 2026. This page quotes OpenAI's own summary of the claim, links the paper and abstract, and will embed the animation.
Latest paper
A Counterexample to Kurosh’s Division-Ring Problem
The animation for this result has not been released yet. Subscribe on YouTube to catch it.
What OpenAI claims
Constructs a countable characteristic-zero division ring that is algebraic over its center and generated by two elements over that center, but has infinite dimension over it. This answers Kurosh's division-ring problem on local finiteness negatively.
Paper
A Counterexample to Kurosh’s Division-Ring Problem
We construct a countable division ring of characteristic zero that is algebraic over its center, generated by two elements as an algebra over that center, and infinite-dimensional over it. This gives a negative answer to the Kurosh problem for division rings.
Status
Preprint. The paper has not been independently reviewed. Treat the result as OpenAI's claim until other mathematicians have checked it. If a video exists, it illustrates the statement; it is not the proof.
Related results in Algebra
- 202The blockwise Alperin weight conjecture
- 203Donovan's conjecture over fields and complete mixed-characteristic DVRs
- 204Tensor saturation for even spin groups
- 205Saxl’s conjecture and universal tensor squaresLean
- 206Finite lattice representation and undecidabilityLean
- 207The ℓ¹-Bass conjecture for all discrete groupsLean
