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ı.

1 kaynak — 25.08.2026 22:39

Kaynaklar

• Karar — OpenAI, yıllardır çözülemeyen 10 matematik problemini çözdü