Ich wünschte, mehr Menschen würden die Millenium-Preisprobleme einfach zum Spaß ausprobieren, insbesondere formal, damit die Last der menschlichen Überprüfung verringert wird. Fast alle werden scheitern, aber die Misserfolge werden nützliche Gespräche über das Problem und falsche Annahmen anstoßen. Bitte sei einfach gesund dabei.