Tweet |
İnsanların onlarca yıl çözemediği
matematik problemini yapay zeka robotu çözdü
Yapay zeka, insanların onlarca yıl boyunca çözemediği matematik problemini çözerek neler yapabileceğini bir kez daha kanıtladı.
Yapay zeka ile beraber ortaya çıkan, öğrencilerin ödevler için ChatGPT kullanması sorunu ve tartışması tam gaz devam ederken, konuyu farklı noktalara taşıyan bazı örnekler de görüyoruz. Ve görünene göre Google’daki araştırmacılar bile aslında bunu yapıyor.
Google DeepMind bilim yapay zekası başkanı Pushmeet Kohli, Guardian ile yaptığı görüşmede “Projeye başladığımızda, gerçekten yapay zekanın yeni bir şey üreteceğine dair hiçbir belirti yoktu” dedi ve ekledi: “Bildiğimiz kadarıyla, ilk kez büyük bir dil modeliyle gerçek, yeni bir bilimsel keşif yapılıyor.”
Google’ın yapay zeka departmanındaki mühendislerin söylediğine göre, bir sohbet robotu artık yorucu ve sinir bozucu bir matematik alanı olabilen kombinatorik alanında önde gelen beyinlerden biri gibi gözüküyor. İlk başta bunun yalnızca bir kavram kanıtı olması amaçlanmıştı, gerçek atılım, ekibin FunSearch adını verdiği yeni bir algoritmaydı. Ancak AI bir konsept kanıtı olmakla yetinmeyerek yoluna devam etti ve çözülmemiş sorunlara daha önce bulunanlardan çok daha iyi çözümler buldu.
Alhussein Fawzi ve Bernardino Romera Paredes DeepMind için bir blog yazısında “FunSearch, matematikte uzun süredir açık olan bir problem olan üst sınır belirleme problemi için yeni çözümler keşfetti” diye yazdı ve devam etti: “Sorun, yüksek boyutlu bir ızgarada, bir çizgi üzerinde üç noktanın bulunmadığı en büyük nokta kümesini (sınır kümesi adı verilen) bulmaktan ibaretti.”
Bu noktada bir örnek vermek yardımcı olabilir. Oyun kümesinde, her biri benzersiz bir şekil, renk, gölge ve sayı kombinasyonuyla işaretlenmiş 12 kart dağıtılır. Oyuncular daha sonra bu özelliklerin her biri diğerlerinden tamamen farklı veya aynı olan üçlü bir küme (set) bulmayı hedefler. Örneğin, bir kırmızı karoya sahip bir kart, iki mavi çizgili karo kartı ve üçüncü olarak üç yeşil boş karodan oluşan bir grup, bir kart bir seti oluşturur, çünkü hepsinde karo vardır. Ancak karo olmaları dışında her birinin üzerindeki renkler, gölgeler ve sayısı farklıdır.
Eğer hiç kimse masadaki 12 kart ile bu setlerden birini bulamazsa, ki bu kesinlikle mümkündür, o zaman bir set bulunana kadar daha fazla kart dizilir. Matematikçiler, bir setin ortaya çıkmasından önce kaç kartın dağıtılabileceğini veya matematik diliyle Z34’teki bir setin maksimum boyutunun ne olduğunu sormaya karar verdi.
Aslında özel olarak bu problem 1971’de çözüldü ve cevap 20’ydi. Ancak daha büyük kümeler söz konusu olduğunda işler çok daha zorlaşıyor. Kombinatorikte üzücü derecede yaygın olduğu gibi, potansiyel çözümlerin sayısı inanılmaz bir hızlı artıyor ve yalnızca sekiz özelliğe kadar çıktığınızda 31.600 potansiyel “kart” gibi bir kombinasyonlarla ulaşmanız gerekiyor.
Şaşırtıcı olmayan bir şekilde, insanlar henüz bu sorunu çözemedi. Böyle bir şeyi neden deneyeceğimiz sorusundan belki de daha da önemlisi, nasıl deneyeceğimiz bile belli değil. Matematikçiler, cevap bulmak bir yana dursun, n = 8 için üst sınır belirleme problemini denemenin en iyi yolu üzerinde bile ortak bir karara varabilmiş değil.
Bu yüzden, Google’ın yapay zekasının bu sorunu şimdiye kadar bilinmeyen 512 boyutunda bir sınırla çözmüş gibi görünmesi çok dikkat çekici bir başarı haline geliyor.
Kohli, Nature ile yaptığı görüşmede “Bu, yüksek lisans tabanlı bir sistemin matematikçiler ve bilgisayar bilimcileri tarafından bilinenlerin ötesine geçebileceğini ilk kez gösteren bir şey” dedi ve devam etti: “Bu sadece yeni değil, aynı zamanda bugün var olan her şeyden daha etkili.”
DeepMind'ın buluşlarının sonuçları inanılmaz olsa da, matematikçilerin muhtemelen henüz iş güvenlikleri konusunda endişelenmemeleri gerekiyor. FunSearch şimdilik belirli bir dizi kriteri karşılayan problemlerle sınırlı. Sorunları çözebilmesi için, kolay ve verimli bir şekilde değerlendirilebilmesi ve puanlandırılabilmesi, ayrıca ekibin kapak seti ve kutu paketleme problemlerinde kullandığı “eksik kodu doldurma” hilesinin aynısını takip etmesi gerekiyor. Araştırmacılar, örneğin kanıt oluşturmanın şu anda yapay zeka için çok zor olacağını, çünkü böyle şeyleri bir bilgisayar için anlamlı olacak şekilde derecelendiremeyeceğinizi belirtiyor.
Yine de uzun zamandır cevabına bulunmayan bir bulmacanın çözülmüş olması, yapay zekanın yapabileceklerini ve gücünü gösteren bir başka örnek.
Takım | O | G | M | B | A | Y | P | AV | |
---|---|---|---|---|---|---|---|---|---|
1 | Galatasaray | 34 | 30 | 1 | 3 | 80 | 21 | 93 | +59 |
2 | Fenerbahçe | 33 | 27 | 1 | 5 | 87 | 30 | 86 | +57 |
3 | Trabzonspor | 33 | 17 | 12 | 4 | 56 | 43 | 55 | +13 |
4 | Beşiktaş | 33 | 15 | 12 | 6 | 44 | 38 | 51 | +6 |
5 | Başakşehir FK | 33 | 14 | 12 | 7 | 44 | 38 | 49 | +6 |
6 | Çaykur Rizespor | 33 | 14 | 13 | 6 | 43 | 49 | 48 | -6 |
7 | Kasımpaşa | 33 | 13 | 13 | 7 | 55 | 59 | 46 | -4 |
8 | Antalyaspor | 33 | 11 | 10 | 12 | 38 | 38 | 45 | 0 |
9 | Alanyaspor | 33 | 11 | 10 | 12 | 43 | 46 | 45 | -3 |
10 | Sivasspor | 33 | 11 | 10 | 12 | 40 | 45 | 45 | -5 |
11 | Adana Demirspor | 34 | 9 | 11 | 14 | 49 | 47 | 41 | +2 |
12 | Samsunspor | 33 | 10 | 14 | 9 | 37 | 43 | 39 | -6 |
13 | MKE Ankaragücü | 33 | 8 | 12 | 13 | 40 | 43 | 37 | -3 |
14 | Kayserispor | 33 | 10 | 13 | 10 | 37 | 47 | 37 | -10 |
15 | Konyaspor | 33 | 8 | 13 | 12 | 34 | 47 | 36 | -13 |
16 | Gaziantep FK | 33 | 9 | 17 | 7 | 37 | 50 | 34 | -13 |
17 | Fatih Karagümrük | 33 | 8 | 16 | 9 | 37 | 42 | 33 | -5 |
18 | Hatayspor | 33 | 7 | 14 | 12 | 37 | 46 | 33 | -9 |
19 | Pendikspor | 33 | 7 | 17 | 9 | 37 | 68 | 30 | -31 |
20 | İstanbulspor | 33 | 4 | 22 | 7 | 26 | 61 | 16 | -35 |
Takım | O | G | M | B | A | Y | P | AV | |
---|---|---|---|---|---|---|---|---|---|
1 | Eyüpspor | 31 | 22 | 6 | 3 | 70 | 27 | 69 | +43 |
2 | Göztepe | 31 | 19 | 6 | 6 | 54 | 19 | 63 | +35 |
3 | Çorum FK | 31 | 16 | 8 | 7 | 52 | 31 | 55 | +21 |
4 | Sakaryaspor | 31 | 15 | 7 | 9 | 45 | 31 | 54 | +14 |
5 | Bodrumspor | 31 | 14 | 7 | 10 | 39 | 21 | 52 | +18 |
6 | Kocaelispor | 31 | 15 | 9 | 7 | 45 | 35 | 52 | +10 |
7 | Bandırmaspor | 31 | 12 | 8 | 11 | 46 | 27 | 47 | +19 |
8 | Gençlerbirliği | 31 | 12 | 8 | 11 | 37 | 30 | 47 | +7 |
9 | Boluspor | 31 | 13 | 10 | 8 | 28 | 32 | 47 | -4 |
10 | Erzurumspor FK | 31 | 11 | 9 | 11 | 28 | 27 | 41 | +1 |
11 | Ümraniyespor | 31 | 10 | 14 | 7 | 34 | 42 | 37 | -8 |
12 | Manisa FK | 31 | 8 | 11 | 12 | 38 | 37 | 36 | +1 |
13 | Keçiörengücü | 31 | 9 | 13 | 9 | 28 | 38 | 36 | -10 |
14 | Şanlıurfaspor | 31 | 8 | 13 | 10 | 28 | 33 | 34 | -5 |
15 | Tuzlaspor | 31 | 8 | 14 | 9 | 32 | 46 | 33 | -14 |
16 | Adanaspor | 31 | 9 | 17 | 5 | 24 | 44 | 32 | -20 |
17 | Altay | 31 | 5 | 23 | 3 | 14 | 70 | 15 | -56 |
18 | Giresunspor | 31 | 2 | 25 | 4 | 13 | 65 | 7 | -52 |
Takım | O | G | M | B | A | Y | P | AV | |
---|---|---|---|---|---|---|---|---|---|
1 | Esenler Erokspor | 34 | 24 | 5 | 5 | 76 | 29 | 77 | +47 |
2 | Van Spor FK | 34 | 23 | 5 | 6 | 57 | 33 | 75 | +24 |
3 | Bucaspor 1928 | 34 | 20 | 5 | 9 | 51 | 24 | 69 | +27 |
4 | 1461 Trabzon FK | 34 | 19 | 6 | 9 | 64 | 35 | 66 | +29 |
5 | Yeni Mersin İdman Yurdu | 34 | 16 | 8 | 10 | 47 | 29 | 58 | +18 |
6 | Ankaraspor | 34 | 15 | 8 | 11 | 42 | 32 | 56 | +10 |
7 | Karacabey Belediye Spor | 34 | 13 | 10 | 11 | 40 | 32 | 50 | +8 |
8 | Ankara Demirspor | 34 | 14 | 15 | 5 | 37 | 38 | 47 | -1 |
9 | Beyoğlu Yeniçarşıspor | 34 | 13 | 14 | 7 | 42 | 36 | 46 | +6 |
10 | Kırklarelispor | 35 | 11 | 13 | 11 | 32 | 38 | 44 | -6 |
11 | Diyarbekir Spor | 34 | 11 | 14 | 9 | 36 | 37 | 42 | -1 |
12 | Altınordu | 34 | 10 | 13 | 11 | 40 | 34 | 41 | +6 |
13 | Hes İlaç Afyonspor | 34 | 10 | 13 | 11 | 24 | 34 | 41 | -10 |
14 | Serik Belediyespor | 34 | 10 | 14 | 10 | 29 | 37 | 40 | -8 |
15 | Nazilli Belediyespor | 35 | 11 | 16 | 8 | 38 | 57 | 38 | -19 |
16 | Zonguldak Kömürspor | 34 | 9 | 17 | 8 | 35 | 54 | 32 | -19 |
17 | Kırşehir Futbol SK | 34 | 5 | 21 | 8 | 32 | 68 | 23 | -36 |
18 | Bursaspor | 34 | 5 | 21 | 8 | 24 | 62 | 20 | -38 |
19 | Adıyaman FK | 34 | 3 | 24 | 7 | 24 | 61 | 16 | -37 |
Takım | O | G | M | B | A | Y | P | AV | |
---|---|---|---|---|---|---|---|---|---|
1 | Kepezspor FAŞ | 28 | 22 | 2 | 4 | 67 | 18 | 70 | +49 |
2 | Aliağa Futbol A.Ş. | 28 | 19 | 0 | 9 | 60 | 18 | 66 | +42 |
3 | Ayvalıkgücü Belediyespor | 28 | 15 | 6 | 7 | 40 | 25 | 52 | +15 |
4 | 52 Orduspor FK | 28 | 14 | 7 | 7 | 40 | 28 | 49 | +12 |
5 | İnegöl Kafkas GK | 28 | 13 | 7 | 8 | 37 | 30 | 47 | +7 |
6 | Edirnespor | 28 | 13 | 10 | 5 | 45 | 28 | 44 | +17 |
7 | Mardin 1969 Spor | 28 | 12 | 11 | 5 | 40 | 34 | 41 | +6 |
8 | K.Çekmece Sinopspor | 28 | 10 | 10 | 8 | 41 | 31 | 38 | +10 |
9 | Karabük İdmanyurdu Spor | 28 | 10 | 13 | 5 | 27 | 44 | 35 | -17 |
10 | Artvin Hopaspor | 28 | 9 | 12 | 7 | 33 | 29 | 34 | +4 |
11 | Talasgücü Belediyespor | 28 | 10 | 14 | 4 | 34 | 45 | 34 | -11 |
12 | Kırıkkalegücü FK | 28 | 8 | 15 | 5 | 31 | 42 | 29 | -11 |
13 | Gümüşhanespor | 28 | 4 | 14 | 10 | 25 | 49 | 22 | -24 |
14 | Malatya Arguvanspor | 28 | 3 | 21 | 4 | 21 | 57 | 13 | -36 |
15 | Tarsus İdman Yurdu | 28 | 2 | 22 | 4 | 20 | 83 | 10 | -63 |
Tarih | Ev Sahibi | Sonuç | Konuk Takım |
---|---|---|---|
27/04/2024 | Fenerbahçe | vs | Beşiktaş |
27/04/2024 | Hatayspor | vs | Başakşehir FK |
28/04/2024 | Alanyaspor | vs | İstanbulspor |
28/04/2024 | Pendikspor | vs | Kayserispor |
28/04/2024 | Çaykur Rizespor | vs | MKE Ankaragücü |
28/04/2024 | Trabzonspor | vs | Gaziantep FK |
29/04/2024 | Fatih Karagümrük | vs | Antalyaspor |
03/05/2024 | Beşiktaş | vs | Çaykur Rizespor |
03/05/2024 | MKE Ankaragücü | vs | Alanyaspor |
04/05/2024 | İstanbulspor | vs | Adana Demirspor |
Tarih | Ev Sahibi | Sonuç | Konuk Takım |
---|---|---|---|
28/04/2024 | Adanaspor | vs | Manisa FK |
28/04/2024 | Boluspor | vs | Altay |
28/04/2024 | Erzurumspor FK | vs | Çorum FK |
28/04/2024 | Giresunspor | vs | Sakaryaspor |
28/04/2024 | Göztepe | vs | Gençlerbirliği |
28/04/2024 | Keçiörengücü | vs | Ümraniyespor |
28/04/2024 | Kocaelispor | vs | Bandırmaspor |
28/04/2024 | Şanlıurfaspor | vs | Eyüpspor |
28/04/2024 | Tuzlaspor | vs | Bodrum FK |
Tarih | Ev Sahibi | Sonuç | Konuk Takım |
---|---|---|---|
28/04/2024 | Ankaraspor | vs | Nazilli Belediyespor |
28/04/2024 | Esenler Erokspor | vs | Adıyaman FK |
28/04/2024 | Hes İlaç Afyonspor | vs | Bucaspor 1928 |
28/04/2024 | Karacabey Belediye Spor | vs | Altınordu |
28/04/2024 | Van Spor FK | vs | Ankara Demirspor |
28/04/2024 | Yeni Mersin İdman Yurdu | vs | Beyoğlu Yeniçarşıspor |
28/04/2024 | Zonguldak Kömürspor | vs | Kırşehir Futbol SK |
28/04/2024 | 1461 Trabzon FK | vs | Serik Belediyespor |
30/04/2024 | Diyarbekir Spor | vs | Bursaspor |
28/04/2024 | Ankaraspor - Nazilli Belediyespor | Ankaraspor ligde evindeki son 17 maçında hiç kaybetmedi | Ankaraspor yenilmez |
30/04/2024 | Diyarbekir Spor - Bursaspor | Bursaspor ligdeki son 5 maçını kaybetti | Diyarbekir Spor kazanır |
30/04/2024 | Diyarbekir Spor - Bursaspor | Diyarbekir Spor ligdeki son 9 maçında hiç kazanamadı | Bursaspor yenilmez |
04/05/2024 | Altınordu - Ankaraspor | Altınordu ligde evindeki son 7 maçında hiç kaybetmedi | Altınordu yenilmez |
04/05/2024 | Bucaspor 1928 - Diyarbekir Spor | Diyarbekir Spor ligdeki son 9 maçında hiç kazanamadı | Bucaspor 1928 yenilmez |
04/05/2024 | Adıyaman FK - Hes İlaç Afyonspor | Adıyaman FK ligdeki son 19 maçında hiç kazanamadı | Hes İlaç Afyonspor yenilmez |
04/05/2024 | Kırşehir Futbol SK - 1461 Trabzon FK | Kırşehir Futbol SK ligdeki son 8 maçında hiç kazanamadı | 1461 Trabzon FK yenilmez |
04/05/2024 | Bursaspor - Van Spor FK | Bursaspor ligde evindeki son 12 maçında hiç kazanamadı | Van Spor FK yenilmez |
04/05/2024 | Beyoğlu Yeniçarşıspor - Karacabey Belediye Spor | Karacabey Belediye Spor ligdeki son 6 maçında hiç kaybetmedi | Karacabey Belediye Spor yenilmez |
04/05/2024 | Bursaspor - Van Spor FK | Van Spor FK ligdeki son 8 maçında hiç kaybetmedi | Van Spor FK yenilmez |
04/05/2024 | Altınordu - Ankaraspor | Ankaraspor ligde deplasmandaki son 8 maçında hiç kazanamadı | Altınordu yenilmez |
04/05/2024 | Kırşehir Futbol SK - 1461 Trabzon FK | 1461 Trabzon FK ligdeki son 8 maçında hiç kaybetmedi | 1461 Trabzon FK yenilmez |
04/05/2024 | Kırklarelispor - Zonguldak Kömürspor | Zonguldak Kömürspor ligde deplasmandaki son 8 maçında hiç kazanamadı | Kırklarelispor yenilmez |
Tarih | Ev Sahibi | Sonuç | Konuk Takım |
---|---|---|---|
27/04/2024 | Malatya Arguvanspor | 3 - 4 | Talasgücü Belediyespor |
27/04/2024 | Gümüşhanespor | 2 - 4 | Kepezspor FAŞ |
27/04/2024 | Artvin Hopaspor | 0 - 1 | 52 Orduspor FK |
27/04/2024 | Mardin 1969 Spor | 4 - 2 | İnegöl Kafkas GK |
27/04/2024 | Tarsus İdman Yurdu | 1 - 1 | Karabük İdmanyurdu Spor |
27/04/2024 | Ayvalıkgücü Belediyespor | 1 - 0 | Edirnespor |
27/04/2024 | Aliağa Futbol A.Ş. | 6 - 3 | Kırıkkalegücü FK |