Not evaluated
Artin's K(π,1) conjecture and CAT(0) obstructions (family 254)
The gist
On October 6, 2026, OpenAI presented work (preprints and a formalisation) on Artin's K(π,1) conjecture.
DiscoverIA status on October 11, 2026: not evaluated, meaning no third-party evaluation found.
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-oai-fam-254-artin-kpi1-r1
@misc{discoveria-oai-fam-254-artin-kpi1-r1,
author = {{DiscoverIA}},
title = {Artin's K(π,1) conjecture and CAT(0) obstructions (family 254)},
howpublished = {DiscoverIA registry, entry oai-fam-254-artin-kpi1},
note = {Status “Not evaluated”, snapshot 1, recorded on October 11, 2026. New result},
year = {2026},
url = {https://discoveria.ai/entry/oai-fam-254-artin-kpi1#releve-1},
urldate = {2026-10-11}
}Dated link opens this snapshot in the history
To understand ≈ 30 s reading time, estimated
What it changes
The sources read do not give the statement claimed, only a title of the work: “Harmonic heights and the Artin K(π,1) conjecture”. It is therefore not possible to say what would change if the work held up.
What remains unclear
The Lean (a language in which a computer checks every step of a proof) is provided by OpenAI; no third-party verification is recorded. A reaction by Giulio Tiozzo to an example #254 (a new example with 12 generators obtained via Astra) is reported in a note. That note marks its source, proofsandprompts.com, as not re-verified with curl.
For experts
Sources, method, key facts, status history, report an error
Status
Not evaluated
Recorded on · raw.githubusercontent.com
Step 1 of 4 on the scale: not evaluated. Next step: under review.
- Announced
- Recordednot evaluated
- nextTo follow
What this status means
Source reading : Source read word for word (level 3 of 3)
The result is declared neither right nor wrong.
To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.
Sources
- Main sourcegithub.comlink only, reading not recorded
Method
The work consists of preprints, accompanied by a Lean provided by OpenAI (formalization.yaml:237 and :442; configurations ArtinCAT0 and HarmonicArtin). The title “Harmonic heights and the Artin K(π,1) conjecture” is cited in formalization.yaml. The note mentioning the proofsandprompts.com post describes it as “not re-verified with curl”. DiscoverIA status: not evaluated, meaning that no third-party evaluation has been found in the sources read. Set on October 11, 2026 from github.com (page read, quotation checked word for word).
Limits
The claimant supplies a Lean proof; as of this date, DiscoverIA has found no independent verification of this proof or of the result.
Key facts
- Claimed by
- OpenAI
announced on Oct 6, 2026 - Nature
- new result
- Field
- Mathematics (group theory / topology)
- Checked by
- claimant
- Sources
- 1 : 1 link only
- This entry
- AI draft, not reviewed
Status history
Only one observation so far.
An observation is added; none is ever erased.
In the same set
openai/math: 719 manuscripts in 372 families from an unreleased internal model · entry 248 of 372, by family number
- Not evaluated : Amenability, unitarizability, and Ulam stability (family 251)
- Not evaluated : A non-residually-finite torsion-free hyperbolic group (family 252)
- Not evaluated : An infinite finitely presented simple amenable group (family 253)
- Not evaluated : Artin's K(π,1) conjecture and CAT(0) obstructions (family 254)
- Not evaluated : Quasi-isometric rigidity of virtually polycyclic groups (family 255)
- Not evaluated : Howie's conjecture on equations over groups (family 256)
- Not evaluated : A hyperbolic group with no geometric CAT(0) action (family 257)
Report 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.