15 Nisan 2026
İstanbul
Adana
Adıyaman
Afyonkarahisar
Ağrı
Amasya
Ankara
Antalya
Artvin
Aydın
Balıkesir
Bilecik
Bingöl
Bitlis
Bolu
Burdur
Bursa
Çanakkale
Çankırı
Çorum
Denizli
Diyarbakır
Edirne
Elazığ
Erzincan
Erzurum
Eskişehir
Gaziantep
Giresun
Gümüşhane
Hakkari
Hatay
Isparta
Mersin
İstanbul
İzmir
Kars
Kastamonu
Kayseri
Kırklareli
Kırşehir
Kocaeli
Konya
Kütahya
Malatya
Manisa
Kahramanmaraş
Mardin
Muğla
Muş
Nevşehir
Niğde
Ordu
Rize
Sakarya
Samsun
Siirt
Sinop
Sivas
Tekirdağ
Tokat
Trabzon
Tunceli
Şanlıurfa
Uşak
Van
Yozgat
Zonguldak
Aksaray
Bayburt
Karaman
Kırıkkale
Batman
Şırnak
Bartın
Ardahan
Iğdır
Yalova
Karabük
Kilis
Osmaniye
Düzce
16°
MedyaTV | Teknoloji | Yapay zeka 10 yıllık matematik problemini çözdü

Yapay zeka 10 yıllık matematik problemini çözdü

Çin’de geliştirilen bir yapay zeka sistemi, yıllardır çözülemeyen zorlu cebir problemini insan müdahalesi olmadan çözüme ulaştırdı.

Çin’de geliştirilen bir yapay zeka sistemi, yıllardır çözülemeyen zorlu cebir problemini insan müdahalesi olmadan çözüme ulaştırdı.

Teknoloji

Pekin Üniversitesi’ndeki araştırmacılar tarafından geliştirilen bir yapay zeka sistemi, yaklaşık 10 yıldır çözülemeyen bir matematik problemini tek başına çözmeyi başardı.

2014 yılında Iowa Üniversitesi profesörü Dan Anderson tarafından ortaya atılan cebir problemi, uzun yıllar boyunca çözümsüz kalmış ve matematik dünyasında dikkat çeken bir konu haline gelmişti.

“Rethlas” adı verilen yeni sistem, matematikçilerin çalışma yöntemlerini taklit eden bir akıl yürütme modeliyle geliştirildi. Bu sistem, geniş matematiksel veri setlerini analiz ederek olası çözümleri üretirken, “Archon” adlı ikinci bir yapı bu çözümleri doğrulayıp ispat sürecini tamamlıyor.

Lean 4 programlama diliyle çalışan sistem, yüz binlerce teorem ve tanımı işleyerek problemi yaklaşık 80 saat içinde çözüme kavuşturdu.

Araştırma ekibi, sürece hiçbir insan müdahalesinin dahil edilmediğini özellikle vurgularken, bu gelişmenin yapay zekanın matematiksel araştırmalarda oynayacağı rolü yeniden tanımlayabileceğini belirtiyor.

Uzmanlara göre bu tür sistemler, gelecekte matematikçilerin çalışma biçimini kökten değiştirebilir.

Yorumlar
* Bu içerik ile ilgili yorum yok, ilk yorumu siz yazın, tartışalım *