Matematikte Önemli Buluşlar
kaynağı değiştir]
- - IIT Kanpur'dan Manindra Agrawal, Nitin Saxena ve Neeraj Kayal, belirli bir sayının asal olup olmadığını belirlemek için koşulsuz deterministik bir polinom zaman algoritması sundu (AKS asallık testi).
- - Preda Mihăilescu, Katalan varsayımını kanıtladı.
- - Grigori Perelman, Poincaré varsayımını kanıtladı.
- - Yüz kadar matematikçiyi içeren ve elli yılı kapsayan ortak bir çalışma olan sonlu basit grupların sınıflandırılması tamamlandı.
- - Ben Green ve Terence Tao, Green-Tao teoremini kanıtladı.
- - Temel lemma (Langlands programı) Ngô Bảo Châu tarafından kanıtlanmıştır.[21]
- - Larry Guth ve Nets Hawk Katz, Erdös'ün farklı mesafeler problemini çözdü.
- - Yitang Zhang, asal sayılar arasındaki boşluklarda ilk sonlu sınırı kanıtladı.[22]
- - Flyspeck Projesi[23], Kepler varsayımının kanıtını tamamladığını duyurdu.[24][25][26][27]
- - Terence Tao, Erdös Tutarsızlık Problemini çözdü.
- - László Babai, kuasipolinomiyal karmaşıklık algoritmasının Graf izomorfizm problemini çözeceğini buldu.
- - Maryna Viazovska, küre paketleme problemini 8. boyutta çözdü. Bunun üzerine inşa edilen sonraki çalışmalar boyut için bir çözüme yol açtı.