Fast im Wochentakt liest man aktuell von Widerlegungen alter, bekannter Vermutungen der Mathematik durch künstliche Intelligenzen. “… with these extraordinary new AI tools, counterexamples might be low-hanging fruit right now“ schreibt Kevin Buzzard. Ende Mai widerlegte eine KI die Vermutung von Erdös über unterschiedliche Abstände, vor zehn Tagen widerlegte eine KI die Vermutung von Grothendieck…