Mathematiker bezweifeln von AI-Laboren behauptete Beweisergebnisse
Unter den Ergebnissen, die OpenAIs Astra und einem vergleichbaren Anthropic-Modell zugeschrieben werden, beanspruchten beide Labore Gegenbeweise zur Connes-Starrheitsvermutung von 1982. Ein kursierendes Argument der Forscherin Jenny Lorraine Nielsen behauptet, die beiden Ansprüche widersprächen sich selbst: Wendet man einen veröffentlichten Klassifikationssatz von 2011 auf die eigenen Konstruktionen der Papers an, ergibt sich ein Widerspruch, den die Theoreme der Autoren nicht überstehen. AI-Kritiker Gary Marcus wirbt um mathematische Widerlegungen, statt die Kritik selbst zu behaupten.
Warum das wichtig ist
Der Streit spielt sich auf der Ebene der Mathematik ab, nicht des Marketings — ein Echtzeit-Stresstest dafür, ob AI-generierte Beweise der fachlichen Prüfung so schnell standhalten können, wie Labore sie veröffentlichen.