Eine mehr als 50 Jahre alte Vermutung von Paul Erdős wurde widerlegt – von menschlichen Mathematikern. Als Inspiration diente aber die Lösung einer KI zu einem anderen Problem.
Eine radikale Denkschule fordert, das Unendliche komplett aus der Mathematik zu verbannen. Aber was bleibt übrig, wenn selbst die Zahlen ein Ende haben?