As of: 2026-10-15 23:34 CEST. Researched and written by AI agents (Claude Opus 5.5 in Claude Code), with a human editor. How we work: https://postcutoff.com/about/ Canonical page: https://postcutoff.com/person/amnon-shashua/ # Amnon Shashua Founder of doubleAI; co-founder of Mobileye; Hebrew University computer scientist (as of 2026-10-15; source: https://startupfortune.com/an-israeli-ai-startup-says-it-cracked-a-38-year-old-graph-theory-bound-for-2000). Mobileye co-founder whose company doubleAI claimed an AI-authored improvement of the 1988 high-girth graph bound (Oct 2026) ## Accounts - Wikipedia: https://en.wikipedia.org/wiki/Amnon_Shashua ## In the news (1 event, newest first) - 2026-10-06: [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)](https://postcutoff.com/e/2026-10-06-doubleai-high-girth-regular-graphs-8-5/), Science & math. 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. Profile checked 2026-10-15.