Çinli bir araştırma ekibi, uzun süredir uluslararası matematik camiasını şaşkına çeviren dünya çapında bir problem olan 3D Ghys varsayımını tam olarak kanıtladı. Çinli bilim insanlarının bu seviyedeki bir problemi çözmek için ilk kez yerli olarak geliştirilmiş büyük bir yapay zekâ modeline dayanması da bir ilk oldu.
Ekip, varsayımı çözmek için Şanghay Yapay Zekâ Laboratuvarı'nın (Shanghai AI Lab) Intern-S2 bilim büyük modeliyle birlikte çalıştı. Yapay zekâ büyük ölçekli, uzun zincirli ve son derece karmaşık matematiksel türetmeleri üstlenirken, araştırmacılar genel yönü belirledi ve umut vadeden akıl yürütme yollarını eleyerek seçti.
Birkaç tur yinelemeli etkileşimin ardından iş birliği, varsayım için eksiksiz ve titiz bir ispat ortaya çıkardı.
Bağımsız doğrulamayı Pekin Üniversitesi ekibi yaptı. Ekip, kendi geliştirdiği bir çerçeve ve yapay zekâ ajanlarıyla gerçekleştirilen yoğun paralel hesaplama kullanarak tüm temel teoremlerin biçimsel makine doğrulamasını tamamladı. İspatın mantıksal olarak eksiksiz, boşluksuz ve tamamen geçerli olduğu titizlikle doğrulandı.
Fransız matematikçi Étienne Ghys tarafından ortaya atılan varsayım, uzun süredir karmaşık dinamikte merkezi ve çözülmemiş bir problem olarak duruyor ve akıl yürütme zorluğu son derecede yüksek. Varsayımın reel sayılardaki karşılığı ise dünya genelinde hâlâ açık bir problem olarak kalıyor ve ileri düzeydeki matematiksel akıl yürütme yeteneğini ölçmek için temel bir ölçüt sayılıyor.
Makale uluslararası bir ön baskı platformunda yayımlandı ve doğrulama kodu tamamen açık kaynak olarak paylaşıldı.
