What was already known
Earlier near-identity unitary conjugacy results covered type I and amenable algebras or assumed a common finite ambient algebra. The universal strong conjecture for arbitrary von Neumann algebras remained open.
AI involvement
OpenAI credits itself as manuscript author and states that its internal frontier model produced the results in this release. Individual human input is not detailed enough to establish task-only autonomy.
OpenAI is named as author on the manuscript, and its release attributes the results to an internal frontier model. The individual human input is not detailed enough to establish autonomy.
Importance
Resolves the strong Kadison–Kastler conjecture uniformly over algebras, representations and Hilbert spaces.
Limitations
Both algebras must act on the same complex Hilbert space; the tolerance depends only on ε.
Technical verification
OpenAI reports a Lean proof matching the selected claim.
Formal checking
The pinned Lean note proves the universal near-identity unitary conjugacy assertion for all unital von Neumann algebras.
- Checker
- OpenAI-reported Lean 4 / Comparator
- Scope
- For every ε>0 there is a universal δ>0 such that any two unital von Neumann algebras on the same complex Hilbert space at Kadison–Kastler distance below δ are conjugate by a unitary u with norm distance from the identity below ε.
- Basis
- Reported by the linked checker
Checking a formal statement does not establish that it matches the original problem.
Human understanding
Few is the default when evidence for a higher level is insufficient. No named person is documented as explaining the central argument for this assessed contribution.
Correction and publication history
Primary manuscript, attribution, prior-work, and scoped checking review for non-notifying local inclusion.
Read this published revision