ABC Gazetesi
•
OpenAI’nin yeni modeli 10 yıllık matematik problemini çözdü
OpenAI, henüz kamuya açılmayan yeni nesil Astra modelinin matematik ve teorik bilgisayar bilimi alanında uzun süredir açık kalan 10 probleme yeni çözümler ürettiğini açıkladı. Sonuçlar Lean 4 ile bilgisayar tarafından doğrulanabilir hale getirildi.
