The Partition Principle does not imply Choice (family 244)

Status

Contested

Recorded on Oct 11, 2026 · karagila.org

Outside the verification path

Oct 6, 2026Announced
Oct 11, 2026Recordedcontested
nextTo follow

What this status means

Source reading : Source read word for word (level 3 of 3)

Sourced public objection, with no established refutation.

It stays “Contested” until a refutation is established. It would become “Withdrawn” if its author withdrew it or the reference source marked it incorrect.

Full history

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.

Follow Report

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

DiscoverIA. (2026, October 11,). The Partition Principle does not imply Choice (family 244) [Status : Contested, snapshot 1]. DiscoverIA registry. https://discoveria.ai/en/fiche/oai-fam-244-partition-principle/#releve-1

BibTeX @misc, key discoveria-oai-fam-244-partition-principle-r1

@misc{discoveria-oai-fam-244-partition-principle-r1,
  author       = {{DiscoverIA}},
  title        = {The Partition Principle does not imply Choice (family 244)},
  howpublished = {DiscoverIA registry, entry oai-fam-244-partition-principle},
  note         = {Status « Contested », snapshot 1, recorded on October 11, 2026. new result},
  year         = {2026},
  url          = {https://discoveria.ai/en/fiche/oai-fam-244-partition-principle/#releve-1},
  urldate      = {2026-10-11}
}

Dated link opens this snapshot in the history

https://discoveria.ai/en/fiche/oai-fam-244-partition-principle/#releve-1

Text produced by an automatic template (DiscoverIA pipeline), on Oct 12, 2026Reviewed 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.

Key facts

Claimed by: OpenAI
announced on Oct 6, 2026
Nature: new result
Field: Mathematics (logic / set theory)
Checked by: claimant; no third party on the substance
Sources (domains): 3 : 3 links only
Part of: openai/math: 719 manuscripts in 372 families from an unreleased internal model
This entry: AI draft, not reviewed

For experts

Proofs: preprint, Lean fourni par le revendicateur (formalization.yaml:772 ; config PartitionPrinciple)

Sources(domains)

primairegithub.comlink only, reading not recorded
contestationkaragila.orglink only, reading not recorded
contestationkaragila.orglink only, reading not recorded

Method

Status “contested” recorded on 11 October 2026 from karagila.org (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.

In the same set

openai/math: 719 manuscripts in 372 families from an unreleased internal model · entry 238 of 372, by family number

See all 372 entries

Status history

Only one observation so far.

01Oct 11, 2026
First observation:ContestedCurrent status
contested on the quality of the writing and the method, not shown to be wrong: the author does not read the Lean
Source: karagila.orgread word for word

An observation is added; none is ever erased.