Karar
•
OpenAI, yıllardır çözülemeyen 10 matematik problemini çözdü
OpenAI, henüz yayınlamadığı yeni nesil modeli Astra ile onlarca yıldır çözülemeyen 10 büyük matematik problemini aydınlığa kavuşturduğunu açıkladı. Bilgisayar destekli Lean 4 doğrulama sistemiyle desteklenen 249 sayfalık çalışma, yaklaşık 2 bin dolar hesaplama maliyetiyle bilim dünyasında geniş yankı uyandırdı.
