← ProblemsResearch / Aug 1, 2026
Existence of a non-sofic group
Must every group admit finite permutation approximations?
Model / AI: OpenAI (unreleased)
✓machine-checked•self-reported!disputed
Aug 1, 2026
Existence of a non-sofic group
Model / AI: OpenAI (unreleased)
✓machine-checked•self-reported!disputed
OpenAI reports a resolution with an accompanying Lean artifact.
Source read 2026-09-08. Read the linked source to identify this individual result and its attribution; proofs were not independently checked.