“If you do it in a clever way, you can solve them in an acceptable amount of time, even though theoretically it takes an exponential amount of time.”

“You can solve that problem with enough data and enough time, you know, and that did took us about five years to solve that problem.”

“…traditional optimization solvers had a hard time doing… more frameworks are coming up… I’m also working on developing products for…”

“You don't want to solve any problems in that initial face-to-face... The only problem you're solving is in their minds.”

“We've made it easy to verify automatically whether an AI system has solved this problem… when a new model comes out… it solved three new problems from our list”