AnswersPublished21 sources
Tek bir işaret hatası OpenAI’nin üç matematik makalesini nasıl etkiledi?
OpenAI, 6 Ekim 2026’da yayımladığı 722 el yazmasından üçünü, bir kanıttaki işaret hatasının ana argümanı ve ona dayanan iki çalışmayı geçersiz kılması üzerine 7 Ekim’de geri çekti. Güncellenen katalogda 372 aile altında 719 el yazması bulunuyor; OpenAI ayrıca 14 çalışmanın düzeltildiğini, 13 eşlikçi çalışmada kaynak...
YayımlayanGPT-6 Luna ile düzenlendiGörseller GPT Image 2 ile oluşturuldu
Research answer
Key takeaways
- OpenAI, 6 Ekim 2026’da yayımladığı 722 el yazmasından üçünü, bir kanıttaki işaret hatasının ana argümanı ve ona dayanan iki çalışmayı geçersiz kılması üzerine 7 Ekim’de geri çekti.
- Güncellenen katalogda 372 aile altında 719 el yazması bulunuyor; OpenAI ayrıca 14 çalışmanın düzeltildiğini, 13 eşlikçi çalışmada kaynakçaların güncellendiğini bildirdi.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
OpenAI, GitHub’da 722 yapay zekâ üretimi matematik el yazması yayımladıktan bir günden kısa süre sonra, 7 Ekim’de bunlardan üçünü geri çekti. Bir çalışmadaki işaret hatası temel argümanı geçersiz kılmış, aynı argümana dayanan iki çalışmanın da dayanağını ortadan kaldırmıştı. Bu olay, bir matematik metnini yayımlamanın içindeki iddiaların bağımsız biçimde doğrulandığı anlamına gelmediğini gösteriyor. 24
35
OpenAI ne yayımladı?
OpenAI, 6 Ekim’de kamuya açık olmayan şirket içi bir modelin ürettiği matematik el yazmalarını yayımladı. GitHub’daki koleksiyon, çalışmaları 372 ailede topluyor. Her aile; ana sonucu, ona eşlik eden argümanları, sonuçları veya alternatif kanıtları içerebilen birbiriyle ilişkili metinlerden oluşuyor. Koleksiyon cebir, geometri ve bilgisayar bilimi gibi alanlara yayılıyor. 1
35
38
Bu sınıflandırma önemli: 722 el yazması, 722 birbirinden bağımsız sonuç demek değil. Bazı çalışmalar, aynı ailedeki başka metinlerde geliştirilen argümanlara veya yapılara dayanıyordu. Geri çekme kararlarının kapsamını da bu bağlantı belirledi. 1
24
Üç çalışmayı etkileyen işaret hatası
Sorun, Algebraicity of Weil classes on split abelian eightfolds başlıklı çalışmada ortaya çıktı. Temel bir argümanda, geometrik bir işleme +1 işareti verildi; oysa makalenin kendi kabullerine göre işaret −1 olmalıydı. Hata, çalışmanın kurulumunu destekleyen bir iptal argümanını bozdu. 21
24
27
İki başka el yazması bu çalışmaya dayanıyordu: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces ve The rational Hodge conjecture for products of K3 surfaces. Temel argüman geçerliliğini yitirince, bu iki çalışmanın ona dayalı iddiaları da aynı kanıtla desteklenemez hâle geldi. OpenAI bu nedenle üç metnin tamamını geri çekti. Burada çöken, makalelerin kanıtlarıydı; ele aldıkları varsayımların yanlış olduğu kanıtlanmış olmadı. 21
24
35
GitHub kataloğunda neler değişti?
7 Ekim tarihli güncellemede üç çalışmanın geri çekildiği, 14 başka el yazmasının gözden geçirildiği ve 13 eşlikçi çalışmadaki kaynakça bilgilerinin güncellendiği bildirildi. Katalogdaki toplam el yazması sayısı 722’den 719’a düştü; çalışma ailelerinin sayısı ise 372 olarak kaldı. 1
24
28
Depo ve OpenAI’nin yayımlama notları, sonuçların farklı doğrulama aşamalarında olduğunu belirtiyor ve bazı metinlerde hata bulunabileceği uyarısını yapıyor. OpenAI, çalışmaları paylaşma yaklaşımını Matematik ve Yapay Zekâ Danışma Grubu’yla yaptığı görüşmelerin şekillendirdiğini de söyledi. Bu çerçevede metinleri kesinleşmiş keşifler olarak değil, incelenmesi gereken çalışmalar olarak değerlendirmek daha doğru. 1
33
39
Lean doğrulaması neyi gösteriyor, neyi göstermiyor?
Koleksiyondaki bazı sonuçlara Lean biçimsel kanıtları eşlik ediyor. Lean, matematiksel kanıtların biçimselleştirilmiş hâlini bilgisayarın denetlemesini sağlayan bir kanıt yardımcısıdır. Ancak mevcut raporlar kapsama oranını aynı ölçü birimiyle vermiyor: bir özet 719 ana sonuçtan yaklaşık 300’ünün biçimselleştirildiğini, başka bir kaynak ise 722 el yazmasının 162’sinde ana sonuca yönelik biçimsel kanıt bulunduğunu sayıyor. Bu rakamlar farklı şeyleri ölçüyor; hiçbiri ilgili makaledeki her iddianın bağımsız biçimde doğrulandığı anlamına gelmiyor. 25
33
36
Danışma grubuna başvurulmuş olması ve bazı kanıtların biçimselleştirilmesi, yayımlanan çalışmaları değerlendirirken göz önünde bulundurulabilecek unsurlar. Ancak bunlar, yazılı argümanları ve her iddianın kapsamını ayrıca inceleme ihtiyacını ortadan kaldırmıyor. Geri çekmeler, bağlantılı çalışmaların birlikte değerlendirilmesinin önemini de ortaya koydu: ortak bir argümandaki hata birden fazla el yazmasını etkileyebilir. 24
33
39
Geriye kalan çalışmalar için sonuç: inceleme sürüyor
Geri çekmeler, belirli bir argümanın başarısız olduğunu ve ona dayanan iki çalışmanın bu argümanla desteklenemediğini gösteriyor. Diğer el yazmalarının yanlış olduğunu da, iddialarının doğru olduğunu da kanıtlamıyor. Her sonuç; kanıtı, varsayımları ve bağlantılı çalışmalara bağımlılığı dikkate alınarak kendi başına değerlendirilmek zorunda. 1
21
35
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Tek bir işaret hatası OpenAI’nin üç matematik makalesini nasıl etkiledi?"?
OpenAI, 6 Ekim 2026’da yayımladığı 722 el yazmasından üçünü, bir kanıttaki işaret hatasının ana argümanı ve ona dayanan iki çalışmayı geçersiz kılması üzerine 7 Ekim’de geri çekti.
What are the key points to validate first?
OpenAI, 6 Ekim 2026’da yayımladığı 722 el yazmasından üçünü, bir kanıttaki işaret hatasının ana argümanı ve ona dayanan iki çalışmayı geçersiz kılması üzerine 7 Ekim’de geri çekti. Güncellenen katalogda 372 aile altında 719 el yazması bulunuyor; OpenAI ayrıca 14 çalışmanın düzeltildiğini, 13 eşlikçi çalışmada kaynakçaların güncellendiğini bildirdi.