aiminute. ← Tüm AI haberleri
Yeni Modeller 2026-08-01

OpenAI 'Astra'yı tanıttı — ajan takımları yaklaşık 2.000 dolara on açık matematik problemini çözdü

OpenAI 'Astra'yı tanıttı — ajan takımları yaklaşık 2.000 dolara on açık matematik problemini çözdü

OpenAI, birden fazla yapay zekâ ajanının zor problemler üzerinde saatlerce hatta günlerce birlikte çalışmasını sağlayan, geçici adı Astra olan yeni bir model ailesini tanıttı. Dahili bir sürüm, matematik ve teorik bilgisayar biliminde uzmanların en az on yıldır çözemediği on açık problemi çözdü — aralarında sofik olmayan grupların varlığının kanıtı da var; kanıtlar makinelerin denetleyebilmesi için Lean'de biçimselleştirildi. API fiyatlarıyla toplam maliyet: yaklaşık 2.000 dolar. Sam Altman sistemi Washington'da politika yapıcılara gösterdi; model GPT-6, GPT-5.7 veya ayrı bir sınıf olarak çıkabilir ve planlanan ABD hükümeti yayın öncesi incelemesinden geçecek ilk model olması bekleniyor. (Düzeltme: OpenAI o zamandan beri “en az on yıldır ilerleme kaydedilmemişti” ifadesini geri çekti; adları açık matematikçiler kanıtların bir kısmının atıf verilmeyen yayımlanmış çalışmalara dayandığını söylüyor.)

Bu neden önemli?Bunlar benchmark puanı değil — insanların çözemediği problemlerin makine denetimli kanıtları; yani iddianın şişirilmesi alışılmadık derecede zor. Öncü laboratuvarların yönünü de gösteriyor: tek sohbet cevabı değil, uzun süre çalışan ajan takımları.
#Ajanlar#Bilim & Araştırma

✓ Doğrulandı · 3 kaynak

▶ İlgili video: How a reasoning model cracked an 80-year-old math problem — the OpenAI Podcast Ep. 20
WhatsApp X Telegram
Uygulamada oku — ücretsiz, 9 dilde

İlgili haberler

Makine öğrenmesi hasta beyin hücrelerinin biçimini okudu ve onları sakinleştiren, hâlihazırda onaylı dokuz ilacı seçti
2026-08-21
DeepSeek'in ucuz beygiri artık görüyor — göz gerektiren ajan görevlerinde Anthropic'in en iyisine yaklaştığını söylüyor
2026-08-21
Yapay zekânın eğitilme biçimini iyileştirmek için dört saat ve bir GPU verildi: en iyi ajan 1 üzerinden 0,25 aldı — çoğu ise hiç denemedi
2026-08-21
ChatGPT artık iMessage'larınızı okuyup mesaj gönderebiliyor — ve sormayı atlatan ayar, OpenAI'ın uyardığı ayarın ta kendisi
2026-08-21
Robota bir kez gösterin — üç ila on iki saniye — hiç eğitim almadan işi yüzde 59 oranında doğru yapıyor
2026-08-21