{"artifact":{"id":"art-20261103-kungtraub","dedupe_key":"9e2911b17dc076a18fb761f891bb3e9e35ae0d1b9cfd4fb505cc8a0f98676f68","canonical_url":null,"evidence_locator":"","artifact_type":"publication","title":"Colbrook publishes Kung–Traub conjecture proof and author-checked Lean formalization aided by ChatGPT","summary":"Matthew Colbrook submitted a 20 September 2026 preprint claiming a proof of the 1974 Kung–Traub optimal-order conjecture for memoryless root-finding, with a Lean formalization. Colbrook states ChatGPT 6 assisted Lean verification and ChatGPT 5.6/6 aided discussion, while the author reviewed and adopted the mathematical arguments. RTS discovered the September paper in November. The event date is its September submission, not its later discovery; the formalization has author-reported checks but no independently rerun build or completed peer review is asserted.","creator_entities":[],"released_at":"2026-09-20T17:03:15.000Z","content_hash":null,"metadata":{"rts_finding_id":"rts_finding_7f1366966f8447a7ac75282be41f554b","epistemic_scope":"dated_publication_or_official_statement_only","source_bound":1,"evidence_only":1,"no_relation_onset":1,"no_civilization_snapshot":1,"global_novelty_not_exhaustively_proven":1,"original_occurrence_date_preserved":1},"created_at":"2026-11-03T06:24:56.572Z","updated_at":"2026-11-03T06:24:56.572Z"},"sources":[{"id":"src-20261103-kungtraub-1","dedupe_key":"4a9e547437760f73b94a4349c26de74efd238d91bff058b1df8b9a13da4ee647","name":"","publisher":"Matthew J. Colbrook","url":"https://arxiv.org/abs/2610.40660","evidence_locator":"","source_type":"primary","primary_or_secondary":"","retrieved_at":"2026-11-03T05:57:37.565Z","published_at":"2026-09-20T17:03:15.000Z","author":null,"metadata":{"rts_finding_id":"rts_finding_7f1366966f8447a7ac75282be41f554b","epistemic_scope":"dated_publication_or_official_statement_only","source_bound":1,"evidence_only":1,"no_relation_onset":1,"no_civilization_snapshot":1,"global_novelty_not_exhaustively_proven":1,"original_occurrence_date_preserved":1},"created_at":"2026-11-03T06:24:56.566Z","updated_at":"2026-11-03T06:24:56.566Z"},{"id":"src-20261103-kungtraub-2","dedupe_key":"b444ba4e20583f9d06db51faf279f0e3c6b3dd799b776be768d45e89403bd4bd","name":"","publisher":"Matthew J. Colbrook","url":"https://github.com/MColbrook/Kung-Traub_conjecture","evidence_locator":"","source_type":"primary","primary_or_secondary":"","retrieved_at":"2026-11-03T05:57:37.565Z","published_at":"2026-09-20T17:03:15.000Z","author":null,"metadata":{"rts_finding_id":"rts_finding_7f1366966f8447a7ac75282be41f554b","epistemic_scope":"dated_publication_or_official_statement_only","source_bound":1,"evidence_only":1,"no_relation_onset":1,"no_civilization_snapshot":1,"global_novelty_not_exhaustively_proven":1,"original_occurrence_date_preserved":1},"created_at":"2026-11-03T06:24:56.566Z","updated_at":"2026-11-03T06:24:56.566Z"}]}