Ted Conover: „Cheap Land Colorado. Überleben am Rand der USA“

Deutschlandfunk

Bei „Aussteigern“ denkt man vielleicht an Menschen, die sich von der Zivilisation zurückziehen, weil sie im Einklang mit der Natur leben wollen.

In Ted Conovers Buch „Cheap Land Colorado“ geht es um einen anderen Menschenschlag: Leute, die sich das Leben in der Stadt nicht mehr leisten können (oder auch von der Polizei gesucht werden) und sich in der Prärie ein billiges Grundstück kaufen und dort in einer Hütte oder einem Trailer hausen. Der Autor hat sich unter diese Menschen gemischt und ein faszinierendes Buch über eine selten beleuchtete Seite der USA geschrieben. Ich hab’s für „Andruck“ beim Deutschlandfunk gelesen und mit dem Autor gesprochen.

Mathematik in Zeiten von KI – Beweise vom Chatbot

SWR2 Wissen

Beweise sind die Bausteine, aus denen die Mathematik ihre Gedankengebäude errichtet. Nur was mit streng logischen Argumenten belegt ist, wird akzeptiert. Aber komplizierte Beweise können fehlerhaft sein und sind schwer zu überprüfen.

Nun können Computerverfahren Beweise auf ihre Richtigkeit checken. Bald werden KI-Systeme selbst Beweise vorschlagen und vielleicht die großen mathematischen Rätsel lösen. Doch wird diese Beweise dann noch jemand nachvollziehen können?

Das Manuskript zur Sendung kann man herunterladen.