Nach Voevodsky veröffentlichte er 1993 einen Beweisversuch einer weitreichenden Vermutung über die Auflösung von Singularitäten in der algebraischen Geometrie, die sich aber mehrere Jahre später als fehlerhaft herausstellte.Voevodsky, The Origins and Motivations of Univalent Foundations, IAS 2014 (von Voevodsky als Beispiel der Schwierigkeiten von Beweisverifikationen aufgeführt, neben mehreren eigenen Beispielen). Kann das aber im Augenblick nicht zurückverfolgen (wahrsch. Preprint).--Claude J (Diskussion) 09:38, 16. Nov. 2017 (CET)