Fields-Medaillengewinner Terence Tao schrieb diese Woche, gute offene Probleme seien eine endliche Ressource. Er verglich automatisches Lösen damit, eine Ausgrabungsstätte mit dem Bagger auszuheben. Manche Probleme müssten für Maschinen gesperrt werden, schlug er vor.