Source authenticated

Connes' Rigidity Conjecture for ICC Property (T) Groups

Settles the ICC property (T) case. The paper records that the result was obtained independently of and concurrently with work by OpenAI.

Exact FrontierDelta

Prior state unknowndisproved

Scope and record

Occurred: Aug 3, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Connes' Rigidity Conjecture for ICC Property (T) Groups · Connes rigidity (ICC, T)

Confidence: Not scored

Registry verification: unreviewed · preprint · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol
model · ai model contributor · OpenAI

Codex
model · ai model contributor · OpenAI

Danus
model · ai model contributor · OpenAI

Shuoxing Zhou
human · human collaborator

Lineage and corrections

This event attributed to Shuoxing Zhou

This event attributed to GPT-5.6 Sol

This event attributed to Codex

This event attributed to Danus

Act on this frontier

Verify, challenge, or extend the result.