{"schema":"postcutoff/person@1","as_of":"2026-10-10T23:43:00+02:00","url":"https://postcutoff.com/person/george-tsoukalas/","md":"https://postcutoff.com/person/george-tsoukalas/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"Adam Bicz","policy":"https://postcutoff.com/about/"},"license":null,"id":"george-tsoukalas","name":"George Tsoukalas","aliases":[],"kind":"researcher","role":"Researcher, Google DeepMind; lead author of AlphaProof Nexus","orgs":["Google DeepMind"],"role_as_of":"2026-10-10","role_source":"https://arxiv.org/abs/2605.22763","importance":2,"why":"Lead author of the AlphaProof Nexus paper (Science, Oct 2026).","accounts":{"x":"gtsoukal","x_other":[],"website":"","wikipedia":"","scholar":"","github":"","youtube":"","bluesky":"","substack":""},"roles":[],"bio":"","verified":"2026-10-10","same_as":["https://x.com/gtsoukal"],"counts":{"entries":1,"posts":0,"videos":0},"entries":[{"id":"2026-10-08-alphaproof-nexus-science-paper","url":"https://postcutoff.com/e/2026-10-08-alphaproof-nexus-science-paper/","date":"2026-10-08","date_precision":"day","short_title":"Google DeepMind's AlphaProof Nexus paper published in Science","deck":"LLM + Lean agent resolved 9 of 353 open Erdős problems and 44 of 492 OEIS conjectures","takeaway":"This is a peer-reviewed, fully formal account of LLM agents solving open research problems at scale and at low cost.","category":"science","category_label":"Science & math","importance":4,"confidence":"high","status":{"key":"confirmed","labels":["Result confirmed"]},"sources":16,"official":4,"filed":"2026-10-10","updated":"2026-10-10","orgs":["Google DeepMind"]}],"posts":[],"videos":[]}