{"schema_version":"source-reader-v1","record":{"source_id":"pnp-gpt4","versions":[{"work":{"authors":["Qingxiu Dong","Li Dong","Ke Xu","Guangyan Zhou","Yaru Hao","Zhifang Sui","Furu Wei"],"kind":"research_paper","publication":"preprint","publication_note":"Source-reported preprint/project; independent mathematical assessment pending.","ai_role":"self_reported","ai_note":"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.","artifacts":[],"published":{"value":"2023-09-11"}},"id":"pnp-gpt4@arXiv-2309.05689v1","source_id":"pnp-gpt4","title":"Dong et al. · Large language model for science: P vs NP","owner":"Qingxiu Dong; Li Dong; Ke Xu; Guangyan Zhou; Yaru Hao; Zhifang Sui; Furu Wei","url":"https://arxiv.org/abs/2309.05689v1","subject_scope":"The precise statements and locators cited in this P versus NP research record.","revision":"arXiv-2309.05689v1","content_sha256":null,"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.","observed_on":"2026-10-10","source_updated_on":null,"rights":"metadata-link","license":"Full-text redistribution rights not asserted","terms_url":"https://arxiv.org/abs/2309.05689v1","attribution":"Qingxiu Dong; Li Dong; Ke Xu; Guangyan Zhou; Yaru Hao; Zhifang Sui; Furu Wei","rights_note":"Only metadata and original OpenMath paraphrases are published; proof PDFs remain at their source.","check_interval_days":30}],"entries":[{"id":"pnp-entry-activity-gpt4:v1","source_version_id":"pnp-gpt4@arXiv-2309.05689v1","item_id":"activity-gpt4","url":"https://arxiv.org/abs/2309.05689v1","wording":"The authors report a GPT-4-produced proposed P ≠ NP proof schema.","wording_kind":"paraphrase","locator":"Abstract and reported 97-turn dialogue","supersedes":null}],"problems":[{"slug":"p-vs-np","title":"P versus NP","publication_version":14}],"selected_version_id":"pnp-gpt4@arXiv-2309.05689v1","available_versions":[{"id":"pnp-gpt4@arXiv-2309.05689v1","revision":"arXiv-2309.05689v1","observed_on":"2026-10-10","title":"Dong et al. · Large language model for science: P vs NP","publication":"preprint","content_sha256":null,"used_in_current_publications":true}],"usages":[{"id":"source-use-e861274418f055050dce","entry_id":"pnp-entry-activity-gpt4:v1","problem":{"slug":"p-vs-np","title":"P versus NP","publication_version":14},"kind":"activity","title":"Dong et al. · Large language model for science: P vs NP","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"pnp-activity-gpt4","title":"Dong et al. · Large language model for science: P vs NP","kind":"research_direction","source_entry_ids":["pnp-entry-activity-gpt4:v1"],"summary":"The authors report a GPT-4-produced proposed P ≠ NP proof schema.","limitation":"This research-workflow report is not an accepted proof, a formal check or a resolution of the canonical assertion.","related_claim_ids":["claim-pnp-inequality"]}},{"id":"source-use-b75b927ea7d3e7c3da2e","entry_id":"pnp-entry-activity-gpt4:v1","problem":{"slug":"p-vs-np","title":"P versus NP","publication_version":14},"kind":"question","title":"P versus NP","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}