Algebra · Oct 6, 2026
Free group factor isomorphism
Resolves the free group factor isomorphism problem: , and hence all interpolated free group factors, including , are isomorphic. Their common factor has fundamental group .
Scope and what remains
Source theorem and extensions have distinct scopes and proof dependencies.
Contributors
OpenAI source publisher and an unnamed unreleased internal model. Exact paper-level human roles are not disclosed by the family summary.
AI systems: Unreleased OpenAI model