Wettbewerb im Maschinengestützten Beweisen

[Ruediger]

Gerade auf Slashdot gelesen:

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.

[ditido]

So schlecht finde ich die Idee gar nicht. Sind doch immerhin bei den von der Menschheit noch ungelösten wichtigsten Fragen fünf in der Mathematilk beheimatet.
Und die Lösung erfolgt heute weniger im stillen Kämmerlein. Aber immer öfters im Dialog mit Gleichwertigen.