Under review
Connes rigidity conjecture: OpenAI (Astra) says it is false
The gist
On August 1, 2026, OpenAI announced that its Astra system had shown Connes's rigidity conjecture to be false; an audit (arXiv 2608.14673) cites later work said to confirm it.
DiscoverIA status on October 11, 2026: under review, meaning public review under way, no verdict yet.
AI draft, not reviewedWhat has not been reviewed?
Text written by an AI (DiscoverIA pipeline), on . The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.
Cite this entry
A single status snapshot since Oct 11, 2026: a citation always points to a dated snapshot.
Cite snapshot 1, Oct 11, 2026
APA citation with the dated link
BibTeX @misc, key discoveria-astra-connes-rigidity-follow-up-r1
@misc{discoveria-astra-connes-rigidity-follow-up-r1,
author = {{DiscoverIA}},
title = {Connes rigidity conjecture: OpenAI (Astra) says it is false},
howpublished = {DiscoverIA registry, entry astra-connes-rigidity-follow-up},
note = {Status “Under review”, snapshot 1, recorded on October 11, 2026. New result},
year = {2026},
url = {https://discoveria.ai/entry/astra-connes-rigidity-follow-up#releve-1},
urldate = {2026-10-11}
}Dated link opens this snapshot in the history
To understand ≈ 20 s reading time, estimated
What it changes
If this holds, a hypothesis about von Neumann algebras, algebraic structures studied in analysis, would be ruled out. It would be a negative result: it removes a possibility rather than opening a new one.
What remains unclear
The third parties that confirm it are not named in the audit summary. The audit also says it does not reproduce the infinite-family result of chapter 4, so the confirmation is partial.
Read the paper
A Human Audit of OpenAIs AI-Generated Mathematical Proofs
What it establishes : Sienicki and Sienicki review the human assessments of the ten chapters of OpenAI's collection and find no confirmed substantive error remaining in a principal result, while leaving room for gaps in the proofs.
Where to start : The abstract, then the conclusion (Section 8) and Table 1 (Section 2.1), which shows which assessments cover each chapter. Versions 1 and 2 covered Chapter 6 only.
Written by an AI · reviewed by a human
For experts
Sources, method, key facts, status history, report an error
Status
Under review
Recorded on · arxiv.org
Step 2 of 4 on the scale: under review. Next step: peer reviewed.
- Announced
- Recordedunder review
- nextTo follow
What this status means
Source reading : Source read word for word (level 3 of 3)
Public review under way, no verdict yet.
To move to “Peer reviewed”: a journal publication or a review by named experts. A sourced public objection would move it to “Contested”.
Sources
- Main sourcearxiv.orgpage read word for word
Method
DiscoverIA status: under review (a public review is under way, with no verdict yet). Set on October 11, 2026 from arxiv.org (page read, quotation checked word for word: “confirms that Connes's rigidity conjecture is false”).
Limits
The status may change if a new source is published; the dated history stays visible.
Key facts
- Claimed by
- OpenAI (Astra); confirmed by later work cited by the audit
announced on Aug 1, 2026 - Nature
- new result
- Field
- Mathematics (von Neumann algebras)
- Checked by
- third parties not named in the summary (see the audit)
- Sources
- 1 : 1 read word for word
- This entry
- AI draft, not reviewed
Status history
Only one observation so far.
- 01
First observation:Under reviewCurrent status
partial: the audit says it does not reproduce the infinite-family result of chapter 4
Source: arxiv.orgread word for word
An observation is added; none is ever erased.
In the same set
Ten advances by the Astra model (non-sofic group, Connes rigidity, Erdős 146/180/183…) · 1 entries
See all 1 entriesReport an error or suggest a source
Thank you, your message was sent.
Sending failed. Try again, or write to contact@discoveria.ai.
Is your result listed?What each status requires, correcting this entry, replying to it.