Counterexample to Kaplansky's zero-divisor conjecture (family 196)
Status
Not evaluated
Recorded on · raw.githubusercontent.com
- Announced
- Recordednot evaluated
- nextTo follow
What this status means
Source reading : Source read word for word (level 3 of 3)
No DiscoverIA status yet; this does not mean nobody has checked it.
To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.
The gist
Result from OpenAI's openai/math release of 6 October 2026, in mathematics, with a Lean proof supplied by OpenAI and no third-party check.
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-oai-fam-196-kaplansky-zero-divisor-r1
@misc{discoveria-oai-fam-196-kaplansky-zero-divisor-r1,
author = {{DiscoverIA}},
title = {Counterexample to Kaplansky's zero-divisor conjecture (family 196)},
howpublished = {DiscoverIA registry, entry oai-fam-196-kaplansky-zero-divisor},
note = {Status « Not evaluated », snapshot 1, recorded on October 11, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/oai-fam-196-kaplansky-zero-divisor/#releve-1},
urldate = {2026-10-11}
}Dated link opens this snapshot in the history
Text produced by an automatic template (DiscoverIA pipeline), on Reviewed by: nobody yetReport an error
What has not been reviewed?
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.
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.
Key facts
- Claimed by
- OpenAI
announced on Oct 6, 2026 - Nature
- new result
- Field
- Mathematics (group theory / algebra)
- Checked by
- claimant
- Sources (domains)
- 1 : 1 links only
- This entry
- AI draft, not reviewed
For experts
Sources(domains)
- primairegithub.comlink only, reading not recorded
Method
Status “not evaluated” recorded on 11 October 2026 from github.com (page read, quotation checked word for word).
Limits
A Lean proof supplied by the claimant does not count as formal verification by a third party. DiscoverIA has recorded no independent evaluation as of this date.
In the same set
openai/math: 719 manuscripts in 372 families from an unreleased internal model · entry 190 of 372, by family number
- Not evaluated : Not all have accompanying Lean formalizations.
- Not evaluated : describes the scope of the Lean formalization
- Not evaluated : describes the scope of the Lean formalization
- Not evaluated : Counterexample to Kaplansky's zero-divisor conjecture (family 196)
- Not evaluated : Torsion-free group algebras that are not directly finite (family 197)
- Not evaluated : describes the scope of the Lean formalization
- Not evaluated : describes the scope of the Lean formalization
Status history
Only one observation so far.
An observation is added; none is ever erased.
Report an error or suggest a source
Thank you, your message was sent.
Sending failed. Try again, or write to [email protected].