İçeriğe geç
English

OpenAI · Araştırma · Çin

OpenAI’ın matematik sonuçları üzerine tartışma büyüyor: Recht FFT iddiasını eleştirdi, Hales Lean için uyardı, Yau yeni bir ittifak kurdu

Yayın: 9 kaynakEnglish

OpenAI’ın 6 Ekim’de GitHub’da yayımladığı matematik makaleleri tartışılmaya devam ediyor. UC Berkeley’den Ben Recht 12 Ekim’de argmin blogunda koleksiyondaki Fourier dönüşümü sonucunu ele aldı. OpenAI’a göre algoritma O(n(log n)^(1-10^-13)) işlemle, klasik FFT’nin n log n sınırının hemen altına iniyor. Recht’e göre bu “bir atılımdan çok kötü niyetli bir istismar”: model, karmaşık sayılarla sınırsız hassasiyette işlem yapılabildiğini varsayıyor. Recht’in aktardığı tahmine göre n=10^100 olduğunda bile klasik FFT 10^99 kat daha hızlı. Recht, makaleyi okumadığını, ChatGPT’ye sorduğunu yazıyor.

Kepler sanısını kanıtlayan Thomas Hales ise 9 Ekim’de Terence Tao’nun blogunda, 2026’da Lean’de sahte kanıtlara izin veren ve sonradan düzeltilen hatalar bulunduğunu hatırlattı ve “Lean gibi sistemlere asla körü körüne güvenemeyiz” diye yazdı. Hales’e göre bir Lean kanıtı, ifadenin asıl problemle örtüştüğünü bir insan denetlemeden kabul edilmemeli.

Çin’de ise Fields Madalyalı Shing-Tung Yau’nun önderliğindeki Yau Matematik ve Yapay Zeka Laboratuvarları İttifakı 11 Ekim’de Tsinghua Üniversitesi’nde kuruldu. 8 kurumu ve yaklaşık 1.000 araştırmacıyı bir araya getiren ittifak, matematiğe özel yapay zeka modeli geliştirecek. Yau’ya göre Çin modellerinden “OpenAI’ın son bir ayda yaptığı iş” istendiğinde “aradaki fark çok büyük”.

Kaynaklar

  1. Ben Recht, arg min, “Faster Fourier Transforms”, Eleştirinin kendisi; alt başlıkta "malicious exploit", 10^100 ve 10^99 tahmini, ChatGPT notu, (argmin.net)
  2. OpenAI, GitHub, “Mathematics manuscript collection”, 130 numaralı sonuç: FFT algoritması ve kesin karmaşık aritmetik modeli; 719 makale (raw.githubusercontent.com)
  3. OpenAI, GitHub, “Exact Fourier transforms below n log n”, FFT sonucunun Lean kapsamı; bit karmaşıklığı ya da sınırlı katsayı iddiası yok (raw.githubusercontent.com)
  4. OpenAI, GitHub, “History”, 3 makale geri çekildi, 14 makale düzeltildi, (raw.githubusercontent.com)
  5. Terence Tao, What's new (Thomas Hales konuk yazısı), “What mathematicians should know about the Lean Theorem Prover: questions of reliability and AI”, Hales'in uyarısı: sağlamlık hataları, insan denetimi, "blind trust" alıntısı, (terrytao.wordpress.com)
  6. Tsinghua Üniversitesi, “丘成桐数学与人工智能实验室联盟在清华大学成立”, İttifakın kuruluşu, 11 Ekim, Yau'nun hedefi, (tsinghua.edu.cn)
  7. Science and Technology Daily (科技日报), “丘成桐数学与人工智能实验室联盟在清华大学成立”, Sekiz kurumun listesi, yaklaşık 1.000 araştırmacı, (stdaily.com)
  8. Beijing News (新京报), “丘成桐数学与人工智能实验室联盟成立，千人推进数学与AI融合”, Araştırma yönleri ve kurumlar, (bjnews.com.cn)
  9. OfficeChai, “Even As Western Mathematicians Decry AI Use In Math, Chinese Mathematicians Launch Alliance To Integrate AI In Math Research”, Yau'nun İngilizce alıntıları ("tsunami", OpenAI ile fark), (officechai.com)

Bu haber hakkında

Bu haberde bir hata mı var? [email protected] · Instagram

Kısa link: thejarrus.com/yapay-zeka-matematik-tartismasi

Bu haberin İngilizcesi: Debate over OpenAI’s math results grows as Recht pans its FFT claim, Hales warns about Lean and Yau launches an AI math alliance

İlgili haberler