Makine öğrenmesinin temel taşlarından AdaBoost algoritması hakkında 12 yıldır yanıtsız kalan bir matematik sorusu nihayet çözüldü. 2012'de Rudin, Schapire ve Daubechies tarafından ortaya atılan 'AdaBoost her zaman sonlu döngülere yakınsar mı?' sorusu, bilgisayar destekli bir karşı örnekle yanıtlandı.
Araştırmacılar, AdaBoost algoritmasının bazı özel durumlarda periyodik olmayan davranış sergileyebileceğini matematiksel olarak kanıtladı. Bu keşif, blok-çarpım adı verilen özel bir matematiksel yapı kullanılarak gerçekleştirildi.
Çalışmanın kalbi, iki faktörün tam periyot-2 yörüngesini paylaştığı ancak doğrusallaştırılmış dönüş haritalarının irrasyonel logaritmik orana sahip dominant özdeğerlere sahip olduğu matematiksel bir yapıya dayanıyor. Bu irrasyonellik, algoritmanın davranışının sonunda periyodik hale gelmesini engelliyor.
Tüm matematiksel ispatlar tam rasyonel aritmetik kullanılarak doğrulandı, bu da sonuçların kesinliğini garanti ediyor. Bu çalışma, yapay zeka araçları GPT-5.4 Pro ve Claude Opus 4.6 ile işbirliği içinde geliştirildi.
Bu keşif, makine öğrenmesi algoritmalarının teorik davranışlarını anlamamızda önemli bir kilometre taşı olarak değerlendiriliyor.