AnswersPublished21 sources
OpenAI’nin 722 matematik el yazması tartışma yarattı
AHM, toplu halde yayımlanan sonuçların bilimsel olarak doğrulanmış bilgiyle aynı şey olmadığını savunarak matematikçilere OpenAI ile çalışmalarını durdurma çağrısı yaptı. OpenAI kanıt dosyaları ve bazı sonuçlar için Lean formalizasyonları yayımladı; ancak koleksiyonun tamamı bu yolla denetlenmiş değil ve modeli dışa...
YayımlayanGPT-6 Luna ile düzenlendiGörseller GPT Image 2 ile oluşturuldu
Research answer
Key takeaways
- AHM, toplu halde yayımlanan sonuçların bilimsel olarak doğrulanmış bilgiyle aynı şey olmadığını savunarak matematikçilere OpenAI ile çalışmalarını durdurma çağrısı yaptı.
- OpenAI kanıt dosyaları ve bazı sonuçlar için Lean formalizasyonları yayımladı; ancak koleksiyonun tamamı bu yolla denetlenmiş değil ve modeli dışarıdan incelemeye açmadı.
- Tartışma, olası matematiksel katkıların yanı sıra şeffaflığı, bağımsız incelemenin gerektirdiği emeği ve insan araştırmacıların bilimdeki yerini de gündeme getiriyor.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: Why has the Association for Human Mathematics (AHM) urged mathematicians to stop working with OpenAI after its October 6 release of AI-gener. Article summary: AHM urged mathematicians to stop working with OpenAI because it sees the October 6 release as a mass display of a company’s capability, not a responsible way to establish mathematical knowledge. It argues that hundreds o. 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
Association for Human Mathematics (AHM), OpenAI’nin 6 Ekim 2026’da geniş bir matematik el yazması koleksiyonu yayımlamasının ardından matematikçilere şirketle çalışmalarını durdurma çağrısı yaptı. AHM’nin itirazı yalnızca bazı kanıtların hatalı olabileceği endişesi değil: Kuruma göre bir şirket modelinin yüzlerce sonucu aynı anda duyurması, bilimsel incelemenin, kaynak gösteriminin ve tartışmanın yerini tutmuyor.45
Koleksiyonda ilgi çekici sonuçlar bulunabilir. Ancak sayıca çok olmaları, kanıt dosyalarının paylaşılması ya da iddiaların çarpıcılığı tek başına doğrulandıkları anlamına gelmiyor. Tartışma aynı zamanda modele kimlerin erişebildiği, sonuçları kimin denetleyebildiği ve doğrulama işini kimin üstlendiğiyle ilgili.
OpenAI ne yayımladı?
OpenAI’nin ilk duyurusunda 17 matematik alanına yayılan 722 el yazması yer alıyordu. Bunlar, birbiriyle ilişkili sonuçları bir araya getiren 372 aile halinde düzenlendi. Dolayısıyla koleksiyondaki 722 metin, birbirinden bağımsız 722 keşif anlamına gelmiyor. GitHub deposunda el yazmalarının yanı sıra kanıtları destekleyen dosyalar da bulunuyor; içerik Apache-2.0 lisansıyla yayımlandı.7
15
OpenAI, modelin yaklaşık 4.000 problem üzerinde denendiğini ve sonuç başına ortalama hesaplama süresinin ChatGPT Pro Thinking’in yaklaşık üç saatlik kullanımına denk geldiğini bildirdi. Şirket ayrıca modelin akıl yürütmesine ilişkin kısaltılmış 10 özet ve bazı kanıtlar için Lean formalizasyonları paylaştı.7
12
16 Lean, matematiksel kanıtların bilgisayar tarafından kontrol edilmesini sağlayan bir sistemdir.
Depo, sonuçların farklı doğrulama aşamalarında olduğunu ve hepsinin Lean formalizasyonuna sahip olmadığını belirtiyor. Ayrıca güncel katalogda, ilk duyurudaki 722 yerine 719 el yazması listeleniyor.10
11
Koleksiyondaki iddialar arasında Mahler varsayımları ve π’nin irrasyonellik üssünün kesin değeri gibi konular var. Ancak bu iddialar, el yazması olarak yayımlanmış olmaları nedeniyle tek başına kesinleşmiş kabul edilmemeli.5
21
AHM neden itiraz ediyor?
AHM açıklamasında matematikçilerin “bu çalışmanın yapılmasını talep etmediğini” söyledi ve yüzlerce dosyanın bir anda yayımlanmasını bilimsel çalışma değil, “güç gösterisi” olarak nitelendirdi. Grup, şirket kaynaklı sonuçların aceleyle kabul edilmesi ya da topluca işleme alınması yerine şüpheci ve insanı merkeze alan bir bilim yaklaşımı çağrısı yaptı.45
İtirazın pratik bir boyutu da var: El yazmalarını değerlendirmek için uzmanların metinleri okuması, kanıtları kontrol etmesi ve sonuçları mevcut literatür içinde konumlandırması gerekiyor. Dosyaların açıkça paylaşılması araştırmacılara incelenecek malzeme sunuyor; fakat bu emeği ortadan kaldırmıyor. Büyük ölçüde araştırmacıların üzerine bırakıyor.
AHM, tepkisini matematik araştırmalarıyla ilişkiler konusunda yapay zekâ şirketlerine danışmanlık vermek üzere kurulan Advisory Group on Mathematics and Artificial Intelligence’ın uyarısıyla da ilişkilendirdi. AHM’nin açıklamasına göre bu grup, ileri düzey matematik problemlerinin şirket içindeki modellerde denenmemesi gerektiği yönünde uyarıda bulunmuştu.45
Lean kanıtları neyi doğruluyor, neyi doğrulamıyor?
Lean formalizasyonları önemli bir denetim aracı: Sisteme gerçekten aktarılmış kanıtların bilgisayar tarafından kontrol edilmesini sağlıyor. OpenAI, 162 el yazmasının ana önermesinin formalize edildiğini bildiriyor.5 Bu, söz konusu sonuçların denetlenmesini güçlendiriyor; ancak her el yazmasındaki her iddiayı kendiliğinden doğrulamıyor.
Karşılık gelen bir formalizasyon yoksa değerlendirme, matematikçilerin argümanı okuyup incelemesine bağlı. Deponun kendisi de sonuçların farklı doğrulama aşamalarında olduğunu ve hepsine Lean formalizasyonu eşlik etmediğini belirtiyor.10
11 Bu nedenle her sonucu ayrı ayrı değerlendirmek gerekiyor; koleksiyonun tamamını ya kanıtlanmış ya da değersiz saymak doğru değil.
Sürece dair daha fazla bilgi var, ama tam şeffaflık yok
OpenAI’nin denenen problem sayısını ve hesaplama süresini açıklaması, ayrıca 10 akıl yürütme özeti yayımlaması, sonuçların nasıl üretildiğine dair kısmi bir fikir veriyor.7
12
16 Ancak bu bilgiler her sonuç için eksiksiz bir üretim geçmişi sunmuyor. Modelin kendisi de şirket içinde tutuluyor ve bağımsız incelemeye açık değil.
7
11
Denenen problemlerin toplam sayısı da modelin iyi tanımlanmış bir ileri düzey problem kümesinde ne sıklıkla başarılı olduğunu tek başına göstermiyor. Performansı ve sonuçların tekrarlanabilirliğini değerlendirmek için araştırmacıların yönteme ve tek tek sonuçların nasıl üretildiğine dair daha fazla bilgiye ihtiyacı var.
OpenAI, önemli sonuçların incelenmesi için çalıştaylar ve konferanslar düzenlemeyi planladığını bildirdi.7 Bu tür girişimler incelemeyi kolaylaştırabilir; ancak diğer araştırmacıların kanıtların nasıl ortaya çıktığını bağımsız biçimde değerlendirebilmesi için yeterli ayrıntının paylaşılmasının yerini tutmaz.
Tartışma insan matematik araştırmaları için ne anlama geliyor?
Bu tartışmanın basit bir yanıtı yok. Yapay zekânın ürettiği bir koleksiyonda gerçek matematiksel ilerleme bulunabilir; ancak koleksiyonun değeri, yayımlanan metinlerin sayısına ya da ele alınan problemlerin önemine değil, bağımsız incelemeden geçen sonuçlara bağlı.7
10
AHM’nin tepkisi ayrıca önceki insan çalışmalarına adil biçimde atıf yapılması, yeni sonuçları değerlendirmenin maliyeti ve kaynakların ya da önceliklerin insan araştırmalarından uzaklaşma ihtimali gibi soruları öne çıkarıyor. El yazmalarının yayımlanması bu meseleleri kendi başına çözmüyor; daha acil hale getiriyor.45
Temel ayrım şu: Çok sayıda matematiksel iddia üretebilmek, bu iddiaların bilimsel olarak doğrulanmasıyla aynı şey değil. Tartışma iki konuyu birden kapsıyor: Yapay zekânın matematiğe ne katabileceğini ve bu katkının topluluk tarafından denetlenebilir, şeffaf ve anlamlı olması için hangi kuralların gerektiğini.
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 "OpenAI’nin 722 matematik el yazması tartışma yarattı"?
AHM, toplu halde yayımlanan sonuçların bilimsel olarak doğrulanmış bilgiyle aynı şey olmadığını savunarak matematikçilere OpenAI ile çalışmalarını durdurma çağrısı yaptı.
What are the key points to validate first?
AHM, toplu halde yayımlanan sonuçların bilimsel olarak doğrulanmış bilgiyle aynı şey olmadığını savunarak matematikçilere OpenAI ile çalışmalarını durdurma çağrısı yaptı. OpenAI kanıt dosyaları ve bazı sonuçlar için Lean formalizasyonları yayımladı; ancak koleksiyonun tamamı bu yolla denetlenmiş değil ve modeli dışarıdan incelemeye açmadı.
What should I do next in practice?
Tartışma, olası matematiksel katkıların yanı sıra şeffaflığı, bağımsız incelemenin gerektirdiği emeği ve insan araştırmacıların bilimdeki yerini de gündeme getiriyor.