{"schema":"postcutoff/person@1","as_of":"2026-10-15T23:34:00+02:00","url":"https://postcutoff.com/person/amnon-shashua/","md":"https://postcutoff.com/person/amnon-shashua/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"amnon-shashua","name":"Amnon Shashua","aliases":["Shashua"],"kind":"founder","role":"Founder of doubleAI; co-founder of Mobileye; Hebrew University computer scientist","orgs":["doubleAI","Mobileye","Hebrew University of Jerusalem"],"role_as_of":"2026-10-15","role_source":"https://startupfortune.com/an-israeli-ai-startup-says-it-cracked-a-38-year-old-graph-theory-bound-for-2000","importance":3,"why":"Mobileye co-founder whose company doubleAI claimed an AI-authored improvement of the 1988 high-girth graph bound (Oct 2026)","accounts":{"x":"","x_other":[],"website":"","wikipedia":"https://en.wikipedia.org/wiki/Amnon_Shashua","scholar":"","github":"","youtube":"","bluesky":"","substack":""},"roles":[],"bio":"","verified":"2026-10-15","same_as":["https://en.wikipedia.org/wiki/Amnon_Shashua"],"counts":{"entries":1,"posts":0,"videos":0},"entries":[{"id":"2026-10-06-doubleai-high-girth-regular-graphs-8-5","url":"https://postcutoff.com/e/2026-10-06-doubleai-high-girth-regular-graphs-8-5/","date":"2026-10-06","date_precision":"day","short_title":"doubleAI's 'Double Agent' claims explicit regular graphs of girth (8/5)·log n, beating the 4/3 constant of Margulis and Lubotzky–Phillips–Sarnak (1988)","deck":null,"takeaway":"Amnon Shashua's start-up doubleAI posted a 40-page paper credited only to its AI 'Double Agent': for every prime power q, explicit (q³+1)-regular graphs with girth ≥ (8/5)·log_{q³} n − O(1), improving the 4/3 constant that had stood since 1988. A Lean proof is posted; the company says it ran autonomously for under $2,000 of compute. Not peer-reviewed.","category":"science","category_label":"Science & math","importance":3,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":5,"official":3,"filed":"2026-10-15","updated":"2026-10-15","orgs":["doubleAI"]}],"posts":[],"videos":[]}