ChatGPT 60 Yıllık Matematik Problemini Çözdü

23 yaşındaki Liam Price, dünya çapında matematikçilerin onlarca yıldır çözemediği bir Paul Erdös problemini ChatGPT Pro yardımıyla çözdü.

ChatGPT 60 Yıllık Matematik Problemini Çözdü

ChatGPT Pro ile dünyanın en iyi matematikçilerinin yıllarca çözemediği bir Erdös problemini çözdü; UCLA matematikçisi Terence Tao çözüm yöntemini 'kimsenin denemediği bir yol' olarak nitelendirdi.

Scientific American'ın haberine göre Price'ın ileri matematik eğitimi yok; tek aracı GPT-5.4 Pro modeline tek bir komut vermek oldu. Çözülen problem, kümeler içinde hiçbir sayının diğerine bölünemediği "ilkel kümeler" üzerine. Erdös, böyle kümeler için bir "skor" hesaplama yöntemi geliştirmiş; sayılar büyüdükçe skorun düştüğünü, en düşük değerin sonsuza giden kümelerde tam olarak 1'e yaklaştığını öne sürmüştü.

Stanford Üniversitesi'nden matematikçi Jared Lichtman dahil pek çok uzman bu varsayımı kanıtlamaya çalıştı, ama herkes aynı yerde takıldı. UCLA matematikçisi Terence Tao olayı şöyle özetliyor: "Problem aslında sanılandan daha kolaymış; ama insanlar ilk hamlede kolektif olarak hafif yanlış bir dönüş yaptı; bir tür zihinsel blok vardı." Price problemi geçen Pazartesi öğleden sonra rastgele bir Erdös sorusu olarak ChatGPT'ye verdiğini, neyle karşılaştığının dahi farkında olmadığını söylüyor. Cambridge Üniversitesi'nden ortağı Kevin Barreto sonucu inceleyince ne kadar özel olduğunu fark etti ve uzmanlara iletti.

Lichtman'a göre yapay zekânın çözümü, ilgili matematik alanlarında bilinen ama bu probleme uygulanması kimsenin aklına gelmemiş bir formülden geliyor: "ChatGPT'nin ham çıktısı oldukça kötüydü; bir uzmanın eleyip ne demek istediğini anlaması gerekti." Tao ve Lichtman, ispatı kısaltıp modelin temel sezgisini daha net ortaya koyacak biçimde yeniden yazdılar. Tao bunun başka problemlere de uygulanabilecek "büyük sayıların anatomisini düşünmenin yeni bir yolu" olduğunu söylüyor.

Kaynak: scientificamerican