Verbessertes inkrementelles Auswahlverfahren beweist sämtliche ausgewählte Vermutungen
Die neue Version des Algorithmus, veröffentlicht auf arXiv (ID 2511.00194v1), baut auf dem in der Arbeit [1] vorgestellten Verfahren auf und optimiert die Auswahl der am stärksten filternden Vermutungen. Durch die verbesserte Methode konnten die Autoren sämtliche ausgewählten Vermutungen erfolgreich beweisen.
