OpenAI, Yayınlanmamış Sınır Modeliyle 722 Matematik Makalesi Üretti: 372 Açık Problem Çözüldü

OpenAI, henüz yayınlanmamış bir "sınır modeli" (frontier model) tarafından üretilen 722 matematik makalesini ve bu makalelerin oluşturduğu 372 sonuç ailesini (result families) kamuoyuyla paylaştığını duyurdu. The Verge'in edindiği bilgiye göre, bu paket "yüzlerce" uzun yıllardır çözülememiş matematik probleminin çözümlerini içeriyor.

AGMAI denetiminde "sorumlu paylaşım"

Çalışmalar, bu alandaki önde gelen matematikçilerden oluşan bağımsız bir danışma grubu olan AGMAI (Advisory Group on Mathematics and AI) koordinasyonunda yürütüldü. Grubun amacı, modelin ürettiği kanıtların doğruluğunu teyit etmek ve sonuçların akademik toplulukla sorumlu bir şekilde paylaşılmasını sağlamak. AGMAI'nin açıklamasına göre, model mevcut literatürdeki boşlukları dolduracak nitelikte orijinal kanıtlar üretmiş.

Bu gelişme, yapay zekânın matematiğe girmesi sürecindeki en geniş ölçekli tek seferlik veri paylaşımı olarak kaydediliyor. Aynı modelin önceki aylarda Uluslararası Matematik Olimpiyatı (IMO) seviyesindeki problemlerde girdiği sınavlarda altın madalya performansı gösterdiği hatırlanıyor; ancak bu sefer odak, yarışma problemleri değil, literatürdeki derin ve yaygın açık sorunlar oldu.

Topluluk tepkileri karışık; bir kısmı bu veriyi "matematik tarihinde bir dönüm noktası" olarak nitelendirirken, bir kısmı kanıtların insan tarafından incelenebilirliği, yazım standardı ve telif hakları gibi konularda endişe dile getiriyor. OpenAI, makalelerin tam metinlerinin ve değerlendirme raporlarının önümüzdeki haftalar içinde aşamalı olarak arXiv ve resmi kanallar üzerinden yayınlanacağını belirtti.