...wenn alle Mathematiker sich entscheiden, das einfach zu ignorieren? Dass (vermeintlich) bahnbrechende Ideen allein dadurch verschüttet gehen, dass sie niemand für realistisch hält und bereit ist, Zeit und Geld dafür aufzuwenden (besonders wenn die Ideen sehr umfangreich und kompliziert sind), dürfte schon deutlich öfter als einmal in der Wissenschaftsgeschichte passiert sein.

Vermutlich bräuchte man dann eine andere KI, um den Beweis nachzuvollziehen oder um ihn zumindest "massentauglich" herunterzubrechen (wobei ich mit "Masse" die nicht auf den Fall spezialisierten Mathematikfreaks meine, nicht Otto-Normalo).