Nincs bizonyítva, hiába kéred a bizonyítást. Csak a (mérésekre alapozott) sejtés van, hogy a módszer bizonyos (formálisan nem specifikált esetben) globális optimumot talál.
Ez az ami kiderült szerintem.
És erre mondtam valahol, hogy matematikus szükséges.