OpenAI’den matematik dünyasını sarsan hamle: 10 yıllık 10 problem çözüldü

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.

1 kaynak — 25.08.2026 23:29

Kaynaklar

• ABC Gazetesi — OpenAI’den matematik dünyasını sarsan hamle: 10 yıllık 10 problem çözüldü