I can't wait to see if the team that fares best is the one that steers often or the one that interferes the least. So far humans failed at those problems. Also

I can't wait to see if the team that fares best is the one that steers often or the one that interferes the least. So far humans failed at those problems. Also IIRC there was a guy that proved a substantial problem 2-3 months ago by basically pasting over and over "keep looking for a solution" or something like that for 2 days with little formal math background.