OpenAI’ın yayımlanmamış bir modeliyle üretilen 719 matematiksel sonuç, bilim dünyasında büyük tartışma yarattı. Sonuçların bir kısmı Lean sistemiyle doğrulansa da, bağımsız teyit ve bilimsel kabul süreci sürüyor.
01Özet
- 01OpenAI, GitHub üzerinden ilk anda 722 makale paylaştı; 7 Ekim’de tespit edilen hata sonrası sayı 3 makale geri çekilerek 719’a indi.
- 02Şirket, her bir sonuç için ChatGPT Pro'nun yaklaşık üç saatlik düşünme süresine denk işlem gücü harcandığını söylüyor.
- 03Lean sistemi, matematiksel ispatları biçimsel olarak kontrol ediyor; koleksiyondaki makalelerin yarısına yakını bu yolla doğrulandı.
- 04Hugo Duminil-Copin, yapay zekânın kendi alanında yıllardır çalıştığı 16 problemi çözmüş olmasından kaygı duyduğunu belirtti.
- 0525 Fields Madalyalı matematikçinin açık mektubu ve HMA’nın çağrısı, sonuçların çok hızlı ve topluca yayımlanmasına yönelik eleştirileri öne çıkardı.
02Neden önemli
Bu haber, yapay zekânın bilimsel araştırmayı nasıl değiştirebileceğini gösteriyor. Matematikteki üretim, doğrulama ve araştırmacı yetiştirme süreçleri üzerinde doğrudan etkisi olabileceği için geniş bir akademik ve teknolojik öneme sahip.
Pulse AIBu habere soru sor
Yanıtlar haberin özetinden yapay zekâ ile üretilir; yatırım, sağlık veya hukuk tavsiyesi değildir.
