An Israeli AI startup says it cracked a 38 year old graph theory bound for $2,000 Startup Fortune