← ProblemsResearch / Aug 1, 2026
Connes’s rigidity conjecture
Do the specified von Neumann algebras determine their groups?
Model / AI: OpenAI (unreleased)
✓machine-checked•self-reported!disputed
Aug 1, 2026
Connes’s rigidity conjecture
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.