
02:54:13
Has anyone tried to use AI or ML to come up with a more intuitive proof of the ‘map-coloring problem' ?

03:05:16
yes

03:05:30
How might you go about finding the point in the string theory landscape corresponding to the Standard Model?

03:06:10
You did not mention quantum computers? How does this relate to quantum computers? Do you think quantum computers will make a big difference?