OpenAI, yapay zekânın ürettiği 722 matematik çalışmasını yayınladı
OpenAI, henüz kullanıma sunmadığı dahili bir frontier modelin ürettiği 722 matematik makalesini 372 sonuç ailesi altında GitHub'da yayınladı. Bağımsız AGMAI grubunun değerlendirmesine göre çalışmalar uzun süredir açık olan yüzlerce probleme yönelik sonuçlar içeriyor, ancak matematik topluluğu tarafından doğrulanmaları gerekiyor. OpenAI bazı kanıtların Lean ile kontrol edildiğini, koleksiyonun eksi
