What was already known
The projection conjecture held for many group classes covered by assembly results. Earlier irrational von Neumann kernel dimensions did not put a projection in the reduced group C*-algebra.
AI involvement
OpenAI attributes the projection manuscript to its internal model. The release does not describe this session sufficiently to establish autonomous origin.
The internal-model manuscript supplies the projection construction; the release does not establish AI-autonomous status for this run.
Importance
Refutes the projection form of the Kadison–Kaplansky conjecture.
Limitations
The claim concerns a reduced-algebra projection, not an idempotent in the complex group ring. No completed machine formalization or explicit human check of reduced-algebra membership and the trace bound is documented.
Technical verification
The manuscript reports a proof, but no completed machine formalization or explicit human check of reduced-algebra membership and the trace bound is documented. Reported is the evidence default.
Human understanding
The source contains an argument but no named human account of its central spectral-gap mechanism. Few is the evidence default.
Correction and publication history
If correct, refutes the projection form of the Kadison–Kaplansky conjecture.
Read this published revision