{"data":{"model":{"id":"4b365db9-1a7e-40f2-bb33-a7f677389945","slug":"openai-internal-research-system-2026-05","name":"OpenAI Internal Research System — 2026-05","family_id":"9bf4921c-494a-419a-97de-9397977d2508","organization_id":"04cc0468-ddf1-488d-b099-f09028afedab","version_label":null,"release_date":"2026-05-20T00:00:00.000Z","status":"internal","is_internal":true,"description":null,"created_at":"2026-09-13T22:56:05.431Z","updated_at":"2026-09-13T22:56:05.431Z","identity_class":"internal_unreleased","organization_name":"OpenAI","organization_slug":"openai","family_name":"GPT-6","family_slug":"openai-gpt-6"},"scores":{"benefit":6.12,"harm":0,"verified_benefit":0,"provisional":6.12},"events":[{"slug":"openai-internal-erdos-unit-distance-disproof","title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture","short_summary":"On 20 May 2026 OpenAI reported that an internal reasoning model produced an infinite family of planar point sets with n^{1+δ} unit distances for some δ>0, disproving Erdős’s n^{1+o(1)} conjecture. External mathematicians checked the argument and later made the exponent explicit.","ledger_type":"benefit","event_status":"provisional","event_date":"2026-05-20","base_impact_tier":3,"domain":"Mathematics","domain_slug":"mathematics","score":6.12}],"domains":[{"name":"Mathematics","slug":"mathematics","benefit":6.12,"harm":0}],"series":[{"day":"2026-05-20","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-21","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-22","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-23","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-24","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-25","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-26","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-27","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-28","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-29","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-30","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-05-31","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-01","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-02","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-03","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-04","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-05","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-06","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-07","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-08","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-09","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-10","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-11","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-12","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-13","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-14","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-15","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-16","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-17","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-18","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-19","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-20","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-21","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-22","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-23","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-24","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-25","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-26","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-27","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-28","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-29","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-06-30","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-01","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-02","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-03","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-04","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-05","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-06","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-07","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-08","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-09","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-10","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-11","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-12","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-13","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-14","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-15","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-16","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-17","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-18","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-19","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-20","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-21","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-22","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-23","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-24","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-25","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-26","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-27","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-28","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-29","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-30","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-07-31","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-01","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-02","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-03","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-04","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-05","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-06","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-07","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-08","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-09","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-10","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-11","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-12","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-13","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-14","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-15","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-16","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-17","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-18","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-19","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-20","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-21","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-22","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-23","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-24","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-25","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-26","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-27","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-28","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-29","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-30","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-08-31","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-01","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-02","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-03","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-04","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-05","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-06","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-07","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-08","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-09","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-10","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-11","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-12","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-13","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-14","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-15","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-16","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-17","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-18","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-19","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-20","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-21","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-22","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-23","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-24","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-25","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-26","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-27","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-28","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-29","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-09-30","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-01","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-02","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-03","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-04","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-05","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-06","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-07","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-08","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-09","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-10","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-11","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-12","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-13","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-14","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-15","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-16","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-17","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-18","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-19","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-20","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-21","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-22","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-23","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-24","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-25","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-26","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-27","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-28","benefit":6.12,"harm":0,"net":6.12},{"day":"2026-10-29","benefit":6.12,"harm":0,"net":6.12}],"revisions":[{"id":"0c8e9324-47c5-421a-aea4-ee987ed4c9ad","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-28T20:22:47.621Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"9ebbeb04-87d8-44b2-b21d-8222eb9e37e8","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-27T20:16:14.720Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"abeb6cfb-56b6-420b-9f5b-a59af91fb7ae","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{"tier":3,"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"new_factors":{"tier":3,"models":["4b365db9-1a7e-40f2-bb33-a7f677389945"],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Ingest update: added a follow-up source.","trigger_type":"ingest_update","trigger_source_ids":["85e9ac18-e924-42f3-969a-ffb43d8e9c07"],"reviewer_id":null,"review_status":"published","created_at":"2026-10-26T18:00:55.402Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"77d61b5a-acaf-4b10-8160-4f8cc2221447","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-24T18:59:49.597Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"3d188a8e-1a29-441c-bca1-698c77d7017e","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-21T19:26:46.597Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"fae0a2a4-9862-47fd-8176-fb097f3a46f3","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-11T00:51:25.860Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"28d374f6-acc8-4229-9815-95e542c911d8","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-11T00:50:27.558Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"ae8b9d71-c29d-4f32-ac84-e4befae8ef72","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-07T16:12:13.690Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"3d34e0f8-8d84-41dc-bdb3-5893e2834648","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-06T23:04:40.642Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"178c228e-8900-458a-a1a1-ab469952641b","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{"tier":3,"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"new_factors":{"tier":3,"models":["4b365db9-1a7e-40f2-bb33-a7f677389945"],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Ingest update: added a follow-up source.","trigger_type":"ingest_update","trigger_source_ids":["d04cd132-eea1-4024-84a2-7569808715ab"],"reviewer_id":null,"review_status":"published","created_at":"2026-09-25T21:00:54.681Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"b6ab2ba3-5d93-4877-8a58-1488eeb6559e","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-21T01:54:16.553Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"deafc942-dc62-4ac4-9a2f-71d01041f49a","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-19T00:53:33.692Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"ac77063b-d930-4c52-b54d-2696266965c4","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-18T19:11:40.608Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"35eeca97-2e6f-426f-8817-2be3aed05235","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"6.120000","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-17T00:37:09.904Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"1b123e90-67f9-472b-97a7-d6bccbad8e05","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"2.103800","new_score":"6.120000","previous_factors":{},"new_factors":{"flags":[],"evidence":0.8,"base_score":10,"durability":1,"attribution":0.85,"realization":0.9},"change_reason":"Methodology 0.2: keep Major; raise evidence, realization, and durability to match a checked theorem rather than a lab claim.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-09-14T02:35:26.290Z","event_slug":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"},{"id":"5c9bded5-5d95-48fb-ba77-9685174bd3f5","event_id":"a7b371e7-4f08-405a-ab5d-7388c4b0d472","model_id":null,"previous_score":"0.000000","new_score":"2.103800","previous_factors":{},"new_factors":{"evidence":0.55,"base_score":10,"durability":0.75,"attribution":0.85,"realization":0.6},"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":"openai-internal-erdos-unit-distance-disproof","event_title":"An unreleased OpenAI model disproves Erdős’s planar unit-distance conjecture"}]}}