Mumford-Shah-Vermutung gelöst: KI-Beweis nach OpenAI-100-Probleme-Ankündigung veröffentlicht 30. September 2026