{"data":{"model":{"id":"c56f0731-9e4f-40b1-8887-fa319c5114bf","slug":"gpt-5-6-pro","name":"GPT-5.6 Pro","family_id":"7cc43cf2-388e-45da-b47e-444c0e9a465b","organization_id":"04cc0468-ddf1-488d-b099-f09028afedab","version_label":null,"release_date":"2026-07-30T00:00:00.000Z","status":"released","is_internal":false,"description":null,"created_at":"2026-09-13T22:56:05.431Z","updated_at":"2026-09-13T22:56:05.431Z","identity_class":"named_release","organization_name":"OpenAI","organization_slug":"openai","family_name":"GPT-5.6","family_slug":"openai-gpt-5-6"},"scores":{"benefit":0.4751,"harm":0,"verified_benefit":0,"provisional":0.4751},"events":[{"slug":"tu-deng-conjecture-preprint","title":"Liu, Luo, and Xie post a complete proof of the Tu–Deng conjecture","short_summary":"On 30 July 2026 Renzhang Liu, Hengyi Luo, and Tianyuan Xie posted a complete proof of the Tu–Deng combinatorial conjecture on Hamming weights modulo 2^k−1 (arXiv:2608.05187). A compiled dataset records ChatGPT 5.6 Pro assistance; the arXiv abstract does not name a model or split of labor.","ledger_type":"benefit","event_status":"provisional","event_date":"2026-07-30","base_impact_tier":2,"domain":"Mathematics","domain_slug":"mathematics","score":0.1286},{"slug":"dinitz-garg-goemans-counterexample","title":"Rybin, using GPT-5.6 Pro, counters the Dinitz–Garg–Goemans unsplittable-flow cost conjecture","short_summary":"On 22 July 2026 Dmitry Rybin announced an explicit 7-vertex graph in which a feasible fractional unsplittable-flow costs 58 while every congestion-legal unsplittable flow costs at least 60, disproving Goemans’ cost-preserving rounding conjecture. He attributes the construction to GPT-5.6 Pro. An Isabelle Archive of Formal Proofs entry later checks the finite instance.","ledger_type":"benefit","event_status":"provisional","event_date":"2026-07-22","base_impact_tier":2,"domain":"Mathematics","domain_slug":"mathematics","score":0.3465}],"domains":[{"name":"Mathematics","slug":"mathematics","benefit":0.4751,"harm":0}],"series":[{"day":"2026-07-22","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-23","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-24","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-25","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-26","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-27","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-28","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-29","benefit":0.3465,"harm":0,"net":0.3465},{"day":"2026-07-30","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-07-31","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-01","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-02","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-03","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-04","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-05","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-06","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-07","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-08","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-09","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-10","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-11","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-12","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-13","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-14","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-15","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-16","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-17","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-18","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-19","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-20","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-21","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-22","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-23","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-24","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-25","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-26","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-27","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-28","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-29","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-30","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-08-31","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-01","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-02","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-03","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-04","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-05","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-06","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-07","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-08","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-09","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-10","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-11","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-12","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-13","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-14","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-15","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-16","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-17","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-18","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-19","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-20","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-21","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-22","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-23","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-24","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-25","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-26","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-27","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-28","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-29","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-09-30","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-01","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-02","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-03","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-04","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-05","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-06","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-07","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-08","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-09","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-10","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-11","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-12","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-13","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-14","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-15","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-16","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-17","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-18","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-19","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-20","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-21","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-22","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-23","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-24","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-25","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-26","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-27","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-28","benefit":0.4751,"harm":0,"net":0.4751},{"day":"2026-10-29","benefit":0.4751,"harm":0,"net":0.4751}],"revisions":[{"id":"c0330efe-80a2-46bb-a479-b27e043ec9b0","event_id":"8ba5ab5a-9def-484b-9131-88e51dab9e83","model_id":null,"previous_score":"0.000000","new_score":"0.128600","previous_factors":{},"new_factors":{"evidence":0.35,"base_score":3,"durability":0.7,"attribution":0.35,"realization":0.5},"change_reason":"Imported events under methodology 0.1.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-13T22:56:05.431Z","event_slug":"tu-deng-conjecture-preprint","event_title":"Liu, Luo, and Xie post a complete proof of the Tu–Deng conjecture"},{"id":"7a144a20-6e63-4fe4-8f62-33c04f34c754","event_id":"53bb9303-37ab-4e39-97ec-f6e384680e4c","model_id":null,"previous_score":"0.000000","new_score":"0.346500","previous_factors":{},"new_factors":{"evidence":0.4,"base_score":3,"durability":0.7,"attribution":0.75,"realization":0.55},"change_reason":"Imported events under methodology 0.1.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-13T22:56:05.431Z","event_slug":"dinitz-garg-goemans-counterexample","event_title":"Rybin, using GPT-5.6 Pro, counters the Dinitz–Garg–Goemans unsplittable-flow cost conjecture"}]}}