{"data":{"model":{"id":"6c7794c5-9a2f-45e2-b7cd-1afd064b46fb","slug":"gemini-3-1-pro","name":"Gemini 3.1 Pro","family_id":"c501cbb1-5b02-482d-8e4e-e73c68dbccba","organization_id":"1422763e-9f4d-48bf-a448-a6aa57c8d1d7","version_label":null,"release_date":"2026-05-21T00:00:00.000Z","status":"released","is_internal":false,"description":null,"created_at":"2026-10-10T23:53:23.452Z","updated_at":"2026-10-10T23:53:23.452Z","identity_class":"named_release","organization_name":"Google DeepMind","organization_slug":"google-deepmind","family_name":"Gemini","family_slug":"google-deepmind-gemini"},"scores":{"benefit":4.131,"harm":0,"verified_benefit":0,"provisional":4.131},"events":[{"slug":"alphaproof-nexus-open-mathematics-2026","title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures","short_summary":"A 21 May 2026 DeepMind preprint reports formal proofs for nine of 353 Erdős problem instances and 44 of 492 OEIS conjectures, plus research collaborations. Its Gemini-led agents publish Lean artifacts; independent records distinguish full, partial, and variant results.","ledger_type":"benefit","event_status":"provisional","event_date":"2026-05-21","base_impact_tier":3,"domain":"Mathematics","domain_slug":"mathematics","score":4.131}],"domains":[{"name":"Mathematics","slug":"mathematics","benefit":4.131,"harm":0}],"series":[{"day":"2026-05-21","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-22","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-23","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-24","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-25","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-26","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-27","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-28","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-29","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-30","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-05-31","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-01","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-02","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-03","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-04","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-05","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-06","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-07","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-08","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-09","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-10","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-11","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-12","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-13","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-14","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-15","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-16","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-17","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-18","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-19","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-20","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-21","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-22","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-23","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-24","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-25","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-26","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-27","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-28","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-29","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-06-30","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-01","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-02","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-03","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-04","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-05","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-06","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-07","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-08","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-09","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-10","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-11","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-12","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-13","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-14","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-15","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-16","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-17","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-18","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-19","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-20","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-21","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-22","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-23","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-24","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-25","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-26","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-27","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-28","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-29","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-30","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-07-31","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-01","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-02","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-03","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-04","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-05","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-06","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-07","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-08","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-09","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-10","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-11","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-12","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-13","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-14","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-15","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-16","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-17","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-18","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-19","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-20","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-21","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-22","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-23","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-24","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-25","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-26","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-27","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-28","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-29","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-30","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-08-31","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-01","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-02","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-03","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-04","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-05","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-06","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-07","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-08","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-09","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-10","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-11","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-12","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-13","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-14","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-15","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-16","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-17","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-18","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-19","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-20","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-21","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-22","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-23","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-24","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-25","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-26","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-27","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-28","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-29","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-09-30","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-01","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-02","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-03","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-04","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-05","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-06","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-07","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-08","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-09","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-10","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-11","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-12","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-13","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-14","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-15","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-16","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-17","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-18","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-19","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-20","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-21","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-22","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-23","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-24","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-25","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-26","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-27","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-28","benefit":4.131,"harm":0,"net":4.131},{"day":"2026-10-29","benefit":4.131,"harm":0,"net":4.131}],"revisions":[{"id":"40b02f14-1fe1-410e-8b3f-d2e02845162d","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-28T20:22:47.621Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"00c4d88c-2362-4af9-a7e5-f777a98c8ed3","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-27T20:16:14.720Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"98cdd91a-34c2-413c-90b2-477d240efc3c","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-24T18:59:49.597Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"e344629e-716f-4672-9e26-9a48c8f8af2a","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"4.293000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-21T19:26:46.597Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"e03b7958-8eae-475e-ac1f-513484cd5a54","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"12.879000","new_score":"4.293000","previous_factors":{},"new_factors":{"flags":["Aggregate corpus; nine instances are not nine distinct Erdős numbers","Full, partial, and variant results; novelty review remains incomplete","Public Lean artifacts; independent rebuild not performed at ingestion","Credit split is an editorial estimate","Independent wiki frozen on 2026-06-30"],"evidence":0.6,"base_score":10,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Editorial review: downgrade the aggregate corpus from Historic to Major because the Erdős outcomes include variants and partial progress and broader novelty review remains incomplete.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-11T00:51:25.860Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"},{"id":"6e8303dd-6e75-4898-b2e8-ed260586531b","event_id":"b36341d8-c06f-4378-a4c6-a6a3e380e732","model_id":null,"previous_score":"0.000000","new_score":"12.879000","previous_factors":{},"new_factors":{"evidence":0.6,"base_score":30,"durability":1,"attribution":0.795,"realization":0.9},"change_reason":"Imported events under methodology 0.2.","trigger_type":"editorial_import","trigger_source_ids":null,"reviewer_id":null,"review_status":"published","created_at":"2026-10-10T23:53:23.452Z","event_slug":"alphaproof-nexus-open-mathematics-2026","event_title":"AlphaProof Nexus produces Lean proofs for nine Erdős instances and 44 OEIS conjectures"}]}}