Abstract and reported 97-turn dialogue
The authors report a GPT-4-produced proposed P ≠ NP proof schema.
Passage details
Passage ID: pnp-entry-activity-gpt4:v1
Source item: activity-gpt4
Source record: pnp-gpt4@arXiv-2309.05689v1
Dong et al. · Large language model for science: P vs NP
PreprintPublication date Sep 11, 2023
Open paper ↗Overview
The precise statements and locators cited in this P versus NP research record.
Source-reported preprint/project; independent mathematical assessment pending.
Passages
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
Used in
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
P versus NP →
Problem publication v14
Problem context · 2 citations
Research activity
Dong et al. · Large language model for science: P vs NP
The authors report a GPT-4-produced proposed P ≠ NP proof schema.
This research-workflow report is not an accepted proof, a formal check or a resolution of the canonical assertion.
Credits
Recorded authorship
Qingxiu Dong · Li Dong · Ke Xu · Guangyan Zhou · Yaru Hao · Zhifang Sui · Furu Wei
Qingxiu Dong; Li Dong; Ke Xu; Guangyan Zhou; Yaru Hao; Zhifang Sui; Furu Wei
AI involvement reported by the source
The authors report a GPT-4 dialogue producing a proposed P ≠ NP proof schema. A dialogue and self-evaluation are not an accepted proof or independent verification.
Versions
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
- arXiv-2309.05689v1 · selectedObserved Oct 10, 2026 · used in current publications
Dong et al. · Large language model for science: P vs NP
Record details
- Source ID
- pnp-gpt4
- Record ID
- pnp-gpt4@arXiv-2309.05689v1
- Recorded title
- Dong et al. · Large language model for science: P vs NP
- Revision
- arXiv-2309.05689v1
- Observed
- Oct 10, 2026
- Source updated
- Not recorded
- Content SHA-256
- Not recorded
- Update method
- Manual primary-source check; changes require a new source version and staff publication.
- Identifier policy
- Source URL and exact theorem/section locator; no inferred identity merge.
- Check interval
- 30 days
- Rights
- metadata-link
- License
- Full-text redistribution rights not asserted
Only metadata and original OpenMath paraphrases are published; proof PDFs remain at their source.
Source terms ↗