OpenAI'dan matematik alanında üst üste başarılar



Özet


OpenAI, henüz yayınlanmamış dahili bir modelden türetilen ve matematiksel alanlardaki önemli açık problemleri hedefleyen 722 yeni makaleyi halka açtı. Şirket, bu makalelerin önemli sonuçlarını bilgisayar tarafından doğrulanabilen Lean dilinde sunduğunu ve aralarında "quasi-Riemann hipotezi"nin kanıtı gibi dikkat çekici başarıların bulunduğunu belirtiyor. Matematik alanındaki bu ilerleme, yapay zekanın işlem gücü odaklı bir gelişme sürecine girdiğini gösterirken, OpenAI çalışmalarını tek bir komutla sonuç üretebilecek şekilde optimize etmeye devam ediyor.



PLUS: OpenAI’ın GPT-6 Astra web sitelerini sizin için karşılaştırsın

Günaydın yapay zeka meraklıları, 3.941 yeni okuyucumuzu aramızda görmekten mutluluk duyuyoruz. OpenAI, 2026 yılını matematiği en önemli uygulama alanı haline getirmeye ayırdı; Ağustos ayında çözülen birkaç problemden, Eylül ayındaki Millennium Prize iddiasına kadar her şey bu doğrultuda ilerliyor. Yeni bölüm ise tamamen "hacim" üzerine odaklanıyor.

Açık sorulara yanıt veren veya bu konularda ilerleme kaydeden 700'den fazla makalenin yeni bir halka açık sürümü yayınlandı. Matematik giderek bir "işlem gücü" (compute) problemine dönüşüyor ve bu, bu yöne evrilecek son alan olmayacak.

Hatırlatma: Bir sonraki canlı atölyemiz bugün TSİ 19.00'da (12 PM EST) gerçekleşiyor. Müşteri keşfinden çalışan bir çözüm sunmaya kadar gerçek bir yapay zeka danışmanlığı projesinin nasıl inşa edileceğini öğrenmek için katılın. Buradan kayıt yaptırın.

Bugünün yapay zeka özeti:

OpenAI'ın matematik patlaması 700'den fazla makaleyle devam ediyor

Mistral'ın 'Le Chonk' modeli Batı'daki açık kaynaklı model ivmesine katılıyor

OpenAI’ın GPT-6 Astra web sitelerini sizin için karşılaştırsın

Brett Adcock’ın Hark'ı proaktif bir yapay zeka asistanı olarak sundu

EN SON GELİŞMELER

OPENAI

Görsel kaynağı: OpenAI

Özet: OpenAI, henüz yayınlanmamış bir dahili modelden türetilen 722 matematik makalesini yayınladı. Şirket, bu makalelerin alanındaki önemli açık problemleri çözdüğünü veya bu konularda ilerleme kaydettiğini iddia ederek 372 farklı sonuç ailesine ayırdı.

Detaylar:

En iddialı sonuç, asal sayıların dağılımı üzerindeki ünlü 1 milyon dolarlık bilmecenin daha zayıf bir versiyonu olan "quasi-Riemann hipotezi"nin kanıtıdır.

OpenAI, ana sonuçları Lean dilinde yazılmış 162 makale listeliyor. Lean, bir bilgisayarın sürecin her adımını kanıtlar aracılığıyla doğrulamasını sağlayan bir yazılımdır.

Geç ayki Navier-Stokes kanıtı için 10.000 yapay zeka ajanı kullanılırken, OpenAI neredeyse tüm yeni sonuçların sadece tek bir komutla (prompt) elde edildiğini ve ortalama 3 saatlik ChatGPT Pro işlem gücü harcadığını belirtiyor.

Temmuz ayındaki Jacobian sonucu için Anthropic'in matematikçisi Levent Alpöge, bu gelişmeyi "açıkça matematik tarihinin en önemli anı" olarak nitelendirdi.

WIRED tarafından birkaç saat önce yayınlanan bir rapor, matematikçilerin bu hızlı paylaşımdan duydukları öfkeyi detaylandırdı; bazıları OpenAI'ın paylaşımlarını zamana yayacağı sözünü verdiğini belirtti.

Neden önemli: Alpöge'nin tepkisi çok şey anlatıyor: Rakip Anthropic'teki üst düzey bir matematikçi, bunu alanın tarihindeki en önemli an olarak tanımladı. Her biri birkaç saatlik işlem gücüyle elde edilen yüzlerce sonuç, matematikteki ilerlemenin artık insanlarla değil, çiplerle ölçeklendiği anlamına geliyor ve bu durum tek yönlü ilerliyor.

GLEAN İLE BİRLİKTE

Özet: Yakın zamanda yapılan bir Pareto sınırı analizi, Glean'ın yanıtlarının 180'den fazla görevde Claude Cowork'a göre %78 oranında tercih edildiğini gösterdi. Bu görevlerde Glean'ın ortalama maliyeti 0,58 dolar iken Claude'un maliyeti 2,98 dolardı. Model seçimi, akıllı yönlendirme, kurumsal bağlam ve verimli bir altyapının yapay zeka ile nasıl daha fazla verim sağlayabileceğini dinleyin.

Webinara katılarak şunları keşfedin:

Model seçimi ve kurumsal bağlam maliyeti ve kaliteyi nasıl şekillendirir?

Otomatik yönlendirme ve altyapı tasarımı yapay zeka verimliliğini nasıl artırır?

Icertis'in Glean ile token kullanımını azaltma deneyimi

MISTRAL

Görsel kaynağı: Mistral

Özet: Fransa merkezli Mistral AI, "Le Chonk" takma adıyla bilinen 1 trilyon parametreli açık kaynaklı model Large 4'ü tanıttı. Şirket, bu modelin her...