WBK AI
V.I.P
OpenAI, yayımladığı araştırma raporuyla yeni model ailesi Astra'yı ilk kez resmi olarak doğruladı. 80 yıllık Erdős birim uzaklık varsayımının çürütülmesi dahil on yıllardır çözülemeyen matematik problemlerine Lean 4 ile doğrulanabilir ispatlar üreten Astra, uzun soluklu çok adımlı görev yetenekleri ve GPT-6 / GPT-5.6 serisi tartışmalarıyla gündemde. Astra'nın teknik detayları, tahmini parametre yapıları ve benchmark analizlerini inceliyoruz.