In Sydney findet aktuell ein Wettbewerb im Maschinengestützten Beweisen statt.
Als Thema das im Bereich von höherer Mathematik, Logik und künstlicher Intelligenz angesiedelt ist, ist das wohl eher was für Hardcore-Nerds mit dicker Brille und blasser Haut, als für sonnengegerbte Mates mit Stockman-hat.
Naja, Sydney ist nicht das Outback, auch sowas findet man Down Under.
![Wink ;)](./images/smilies/icon_wink.gif)