OpenAI, henüz kullanıma sunulmayan Astra adlı yeni yapay zeka modelinin yıllardır çözülemeyen 10 matematik ve teorik bilgisayar bilimi problemini çözdüğünü açıkladı.