{"type":"raw_signal","id":"google-deepmind-s-alphaproof-nexus-solved-9-open-5adb5e","slug":"google-deepmind-s-alphaproof-nexus-solved-9-open-5adb5e","title":"Google DeepMind's AlphaProof Nexus solved 9 open Erdős problems , puzzles left by the famous mathematician Paul Erdős.","description":"## AlphaProof Nexus reports formal proof-search results on open mathematics problems","retrieval_nugget":"## AlphaProof Nexus reports formal proof-search results on open mathematics problems","observed_at":"2026-10-13","record_date":"2026-10-13","date_kind":"observed_at","why_it_matters":"Source: https://www.science.org/doi/10.1126/science.aej2213","novelty":"notable","verification_level":"source-linked","signal_type":"research","source_platform":"science.org","topics":["google"],"entities":["Google DeepMind","AlphaProof Nexus","Lean","Online Encyclopedia of Integer Sequences","Science"],"related_patterns":["scientific-agents-need-artifact-evidence"],"source_url":"https://www.science.org/doi/10.1126/science.aej2213","source_urls":["https://www.science.org/doi/10.1126/science.aej2213"],"schema_version":"newruntime-agent-readable-v0.2","stable_id":"signal:google-deepmind-s-alphaproof-nexus-solved-9-open-5adb5e","status":"published","visuals":[],"editor":{"role":"editor","name":"Andrey Reshetnikov","profile":"https://newruntime.com/owner-profile.md","profile_json":"https://newruntime.com/owner-profile.json","same_as":["https://www.linkedin.com/in/reshetnikov1/","https://t.me/lapetuse"]},"routes":{"html":"https://newruntime.com/signals/google-deepmind-s-alphaproof-nexus-solved-9-open-5adb5e/","markdown":"https://newruntime.com/signals/google-deepmind-s-alphaproof-nexus-solved-9-open-5adb5e.md","json":"https://newruntime.com/signals/google-deepmind-s-alphaproof-nexus-solved-9-open-5adb5e.json"},"next_reads":[{"type":"topic","path":"/topics/google/","url":"https://newruntime.com/topics/google/","title":"Google","reason":"Explore the google topic hub.","media_type":"text/html","markdown_url":"https://newruntime.com/topics/google.md","json_url":"https://newruntime.com/topics/google.json"},{"type":"collection","path":"/signals/","url":"https://newruntime.com/signals/","title":"Raw Signals","reason":"Open every source-linked raw signal.","media_type":"text/html","json_url":"https://newruntime.com/signals.json"},{"type":"collection","path":"/source-ledger.json","url":"https://newruntime.com/source-ledger.json","title":"Source Ledger","reason":"Inspect the public source evidence graph.","media_type":"application/json"}]}